Mercurial > hg > Members > kono > Proof > FirstOrder

comparison simple-logic.agda @ 11:17cd0e70e931

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add clausal form transformation
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 15 Aug 2020 10:18:55 +0900
parents edf4a816abff
children 2f4db56bb289
comparison
equal deleted inserted replaced
10:edf4a816abff 11:17cd0e70e931