Mercurial > hg > Members > kono > Proof > automaton

directory /a02/agda/ @ 404:dfaf230f7b9a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
file dag.agda 2228 -rwxr-xr-x
file data1.agda 2872 -rwxr-xr-x
file equality.agda 624 -rwxr-xr-x
file lambda.agda 2887 -rwxr-xr-x
file level1.agda 533 -rwxr-xr-x
file list.agda 3499 -rwxr-xr-x
file logic.agda 1685 -rwxr-xr-x
file practice-logic.agda 2742 -rwxr-xr-x
file practice-nat.agda 2773 -rwxr-xr-x
file record1.agda 1887 -rwxr-xr-x