Mercurial > hg > Members > kono > Proof > FirstOrder

directory / @ 9:627a6bf54ed5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
file Logic.agda 1470 -rw-r--r--
file example1.agda 4411 -rw-r--r--