/README/1.3/Thu Aug  9 02:07:50 2001//
/cl-admit.elf/1.2/Fri Dec 28 15:22:20 2001//
/cl-cut.elf/1.1.1.1/Sat Sep  5 22:59:22 1998//
/cl-elim.elf/1.2/Fri Dec 28 15:22:20 2001//
/cl.elf/1.1.1.1/Sat Sep  5 22:59:23 1998//
/cl.thm/1.1.1.1/Sat Sep  5 22:59:23 1998//
/examples.quy/1.2/Wed May 30 17:49:42 2001//
/formulas.elf/1.1.1.1/Sat Sep  5 22:59:23 1998//
/int-admit.elf/1.4/Mon Aug 25 16:55:34 2003//
/int-cut.elf/1.2/Fri Dec 28 15:22:20 2001//
/int-elim.elf/1.2/Fri Dec 28 15:22:20 2001//
/int.elf/1.1.1.1/Sat Sep  5 22:59:23 1998//
/int.thm/1.1.1.1/Sat Sep  5 22:59:23 1998//
/sources.cfg/1.3/Thu Aug  9 02:07:50 2001//
/test.cfg/1.1.1.1/Sat Sep  5 22:59:23 1998//
D
