/README/1.1/Thu Mar 18 16:21:16 1999//
/eval.elf/1.1/Thu Mar 18 16:21:17 1999//
/examples.quy/1.1/Thu Mar 18 16:21:17 1999//
/mini-ml.elf/1.1/Thu Mar 18 16:21:18 1999//
/opt-equiv1.elf/1.1/Thu Mar 18 16:21:18 1999//
/opt-equiv1.thm/1.3/Mon May 24 16:46:52 1999//
/opt-equiv2.elf/1.1/Thu Mar 18 16:21:19 1999//
/opt-equiv2.thm/1.1/Mon Mar 22 15:32:29 1999//
/opt-eval.elf/1.1/Thu Mar 18 16:21:19 1999//
/opt-mini-ml.elf/1.1/Thu Mar 18 16:21:19 1999//
/opt-rep1.elf/1.1/Thu Mar 18 16:21:19 1999//
/opt-rep2.elf/1.1/Thu Mar 18 16:21:20 1999//
/sources.cfg/1.1/Thu Mar 18 16:21:20 1999//
/test.cfg/1.1/Mon Mar 22 15:32:30 1999//
D
