Mercurial > hg > Members > kono > Proof > automaton

directory /a02/agda/ @ 118:37c919cec9ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
file logic.agda 1514 -rw-r--r--
file practice-logic.agda 2197 -rw-r--r--
file practice-nat.agda 1899 -rw-r--r--