directory / @ 68:800d8d768d03

name size permissions
[up] drwxr-xr-x
dir. examples/ drwxr-xr-x
dir. pysmcl/ drwxr-xr-x
dir. semantics/ drwxr-xr-x
file .hgignore 114 -rw-r--r--
file README 1223 -rw-r--r--
file cleanup.py 601 -rwxr-xr-x
file proofexample.thy 1094 -rw-r--r--
file runtests.py 427 -rw-r--r--