Mercurial > hg > Members > kono > Proof > automaton
directory /a02/ @ 139:3be1afb87f82
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
agda/ | drwxr-xr-x | |
agda-install.ind | 1581 | -rw-r--r-- |
agda.ind | 4541 | -rw-r--r-- |
lecture.ind | 17948 | -rw-r--r-- |
reduction.ind | 2392 | -rw-r--r-- |
unificagtion.ind | 1031 | -rw-r--r-- |