directory / @ 64:c7d03c2e6e29

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--