Mercurial > hg > Members > kono > Proof > automaton
directory /a02/ @ 328:cd73fe566291
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 agda/
|
drwxr-xr-x | |
 agda-install.ind
|
1713 | -rw-r--r-- |
|
agda.ind
|
4541 | -rw-r--r-- |
|
lecture.ind
|
13349 | -rw-r--r-- |
|
reduction.ind
|
2392 | -rw-r--r-- |
|
unification.ind
|
1031 | -rw-r--r-- |