directory / @ 232:3a5b4f442381

name size permissions
[up] drwxr-xr-x
dir. eclipse/ drwxr-xr-x
dir. examples/ drwxr-xr-x
dir. isabelle/ drwxr-xr-x
dir. pysmcl/ drwxr-xr-x
dir. semantics/ drwxr-xr-x
file .hgignore 232 -rw-r--r--
file README 1684 -rw-r--r--
file cleanup.py 601 -rwxr-xr-x
file hoare_binsearch.thy 1824 -rw-r--r--
file proof_binary.thy 12925 -rw-r--r--
file proofexample.thy 1094 -rw-r--r--
file runtests.py 452 -rwxr-xr-x