rwxr-xr-x 4273/0      0 Jul  6 16:44 1994 proof/
rwxr-xr-x 4273/0      0 Sep 21 00:08 1993 proof/doc/
rw-r--r-- 4273/0   8799 Sep 21 00:08 1993 proof/doc/cmu-art.sty
rw-r--r-- 4273/0  72988 Sep 21 00:08 1993 proof/doc/complexity.tex
rw-r--r-- 4273/0   6668 Sep 21 00:08 1993 proof/doc/define
rw-r--r-- 4273/0    407 Sep 21 00:08 1993 proof/doc/gloating
rw-r--r-- 4273/0 153011 Sep 21 00:08 1993 proof/doc/morph.tex
rw-r--r-- 4273/0    795 Sep 21 00:08 1993 proof/doc/motd
rw-r--r-- 4273/0    298 Sep 21 00:08 1993 proof/doc/peace
rw-r--r-- 4273/0    734 Sep 21 00:08 1993 proof/doc/proof.1
rw-r--r-- 4273/0   2951 Sep 21 00:08 1993 proof/doc/works
rwxr-xr-x 4273/0      0 Sep 21 00:14 1993 proof/lib/
rw-r--r-- 4273/0 258160 Sep 21 00:09 1993 proof/lib/gdbm.a
rw-r--r-- 4273/0 5169625 Sep 21 00:14 1993 proof/lib/lexicon
rw-r--r-- 4273/0   9574 Sep 21 00:14 1993 proof/lib/mipslibndbm.a
rw-r--r-- 4273/0  23150 Sep 21 00:14 1993 proof/lib/mipslibstuff.a
rw-r--r-- 4273/0  23150 Sep 21 00:14 1993 proof/lib/stuff.a
rw-r--r-- 4273/0    572 Sep 21 00:14 1993 proof/lib/stuff.c
rw-r--r-- 4273/0   8298 Sep 21 00:14 1993 proof/lib/sunlibstuff.a
rwxr-xr-x 4273/0      0 Sep 21 00:15 1993 proof/src/
rw-r--r-- 4273/0   3338 Sep 21 00:15 1993 proof/src/Makefile
rw-r--r-- 4273/0    116 Sep 21 00:15 1993 proof/src/function_template.c
rw-r--r-- 4273/0  17868 Sep 21 00:15 1993 proof/src/gdbm_fixes.shar
rw-r--r-- 4273/0   3104 Sep 21 00:15 1993 proof/src/hash.c
rw-r--r-- 4273/0    708 Sep 21 00:15 1993 proof/src/hash.h
rw-r--r-- 4273/0  49339 Sep 21 00:15 1993 proof/src/motor.c
rw-r--r-- 4273/0   3341 Sep 21 00:15 1993 proof/src/package_template.c
rw-r--r-- 4273/0   6296 Sep 21 00:15 1993 proof/src/proof.h
rw-r--r-- 4273/0  17005 Sep 21 00:15 1993 proof/src/proofFE
rw-r--r-- 4273/0   3769 Sep 21 00:15 1993 proof/src/rule_template.c
rw-r--r-- 4273/0 128297 Sep 21 00:15 1993 proof/src/rules.c
rw-r--r-- 4273/0   1995 Sep 21 00:15 1993 proof/src/stuff.h
rwxr-xr-x 4273/0      0 Sep 21 00:16 1993 proof/include/
rw-r--r-- 4273/0    477 Sep 21 00:16 1993 proof/include/config.h
rw-r--r-- 4273/0   2889 Sep 21 00:16 1993 proof/include/gdbm.h
rw-r--r-- 4273/0   1995 Sep 21 00:16 1993 proof/include/stuff.h
rw-r--r-- 4273/0   9246 Jul  6 16:44 1994 proof/README