Mercurial > hg > Members > kono > Proof > FirstOrder

directory / @ 12:4b131e351170

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 4265 -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--