total 82
-rw-rw-r--  1 ftpmaint      610 Apr 19 02:34 00Contents
-rw-rw-r--  1 ftpmaint     4819 Sep  7  1992 install.mz2
-rw-rw-r--  1 ftpmaint     5327 Sep  7  1992 readme.mz
-rw-rw-r--  1 ftpmaint     3483 Sep  7  1992 readme.mz2
-rw-rw-r--  1 ftpmaint     5507 Sep  7  1992 thb.doc
-rw-rw-r--  1 ftpmaint     3949 Sep  7  1992 thc.doc
-rw-rw-r--  1 ftpmaint     4320 Sep  7  1992 thcb.doc
-rw-rw-r--  1 ftpmaint    35497 Sep  7  1992 theorem.doc
-rw-rw-r--  1 ftpmaint     4086 Sep  7  1992 thm.doc
-rw-rw-r--  1 ftpmaint     4582 Sep  7  1992 thmb.doc
-rw-rw-r--  1 ftpmaint     6365 Sep  7  1992 thp.doc
