/README/1.1.1.1/Sat Sep  5 22:59:21 1998//
/abs-env.elf/1.1.1.1/Sat Sep  5 22:59:21 1998//
/catlem.elf/1.1.1.1/Sat Sep  5 22:59:21 1998//
/ccc.elf/1.3/Fri Jun  4 16:27:40 1999//
/conc.elf/1.2/Mon Aug 25 16:55:34 2003//
/conc.thm/1.1.1.1/Sat Sep  5 22:59:22 1998//
/cong.elf/1.1.1.1/Sat Sep  5 22:59:21 1998//
/eqpres1.elf/1.1.1.1/Sat Sep  5 22:59:21 1998//
/eqpres2.elf/1.1.1.1/Sat Sep  5 22:59:21 1998//
/examples.quy/1.1.1.1/Sat Sep  5 22:59:21 1998//
/inv1.elf/1.1.1.1/Sat Sep  5 22:59:21 1998//
/inv2.elf/1.1.1.1/Sat Sep  5 22:59:22 1998//
/lambda.elf/1.3/Fri Jun  4 16:27:40 1999//
/pf.dvi/1.1.1.1/Sat Sep  5 22:59:22 1998//
/refl.elf/1.1.1.1/Sat Sep  5 22:59:22 1998//
/sources.cfg/1.4/Fri Jun  4 16:27:40 1999//
/spass.cfg/1.3/Fri Jun  4 16:27:40 1999//
/spass.elf/1.1/Thu Mar  4 16:02:51 1999//
/spass.sml/1.6/Fri Jun  4 16:27:40 1999//
/subext.elf/1.1.1.1/Sat Sep  5 22:59:22 1998//
/test.cfg/1.1.1.1/Sat Sep  5 22:59:22 1998//
D
