Mercurial > hg > Members > kono > Proof > galois

directory / @ 2:1b73893387c0

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