directory / @ 55:de686d4704ee

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