/README/1.1.1.1/Sat Sep  5 22:59:21 1998//
/equiv.elf/1.7/Thu Jul 15 15:29:22 2004//
/equiv.thm/1.4/Fri Jun  4 15:50:41 1999//
/examples.quy/1.1.1.1/Sat Sep  5 22:59:21 1998//
/nd.elf/1.1/Wed Jun 16 02:19:33 2004//
/nd.tex/1.1/Wed Jun 16 02:19:33 2004//
/ndclass.elf/1.1/Wed Jun 16 02:19:33 2004//
/prop-calc-solution.elf/1.1/Wed Jun 16 02:19:33 2004//
/prop-calc.elf/1.3/Thu Jul 15 15:29:22 2004//
/sources.cfg/1.5/Thu Jul 15 15:29:22 2004//
/test.cfg/1.1.1.1/Sat Sep  5 22:59:21 1998//
/thm1.elf/1.1/Wed Jun 16 02:19:33 2004//
/thm2.elf/1.1/Wed Jun 16 02:19:33 2004//
/thm3.elf/1.1/Wed Jun 16 02:19:33 2004//
D
