Mercurial > hg > Members > kono > Proof > FirstOrder

directory / @ 11:17cd0e70e931

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
file Logic.agda 2101 -rw-r--r--
file clausal.agda 4329 -rw-r--r--
file example1.agda 1245 -rw-r--r--
file example2.agda 2278 -rw-r--r--
file simple-logic.agda 1928 -rw-r--r--