/README/1.2/Thu Mar  1 16:55:18 2001//
/closed.elf/1.4/Mon Aug 25 16:55:34 2003//
/eval.elf/1.6/Wed Jun 23 20:50:27 2004//
/eval1.elf/1.2/Fri Feb 16 03:25:07 2001//
/eval2.elf/1.2/Fri Feb 16 03:25:07 2001//
/examples.quy/1.4/Sat Mar  3 18:10:12 2001//
/examples1.quy/1.2/Tue Feb 20 16:18:22 2001//
/mini-ml.elf/1.5/Wed Jun 23 20:50:27 2004//
/reduce.elf/1.9/Mon Aug 25 16:55:34 2003//
/reduce.thm/1.7/Wed Mar  7 12:53:20 2001//
/sources.cfg/1.6/Mon Aug 25 16:55:34 2003//
/sources1.cfg/1.1/Thu Mar  1 16:55:18 2001//
/test.cfg/1.6/Wed Mar  7 12:53:20 2001//
/tp-preserve.elf/1.4/Wed Mar 24 01:52:33 2004//
/tp-preserve.thm/1.7/Wed Mar  7 12:53:20 2001//
/tp.elf/1.2/Fri Feb 16 03:25:07 2001//
/tpinf.elf/1.6/Mon Jun  4 13:27:27 2001//
/val-sound.elf/1.3/Mon Aug 25 16:55:34 2003//
/val-sound.thm/1.5/Wed Mar  7 12:53:20 2001//
/value.elf/1.3/Mon Aug 25 16:55:34 2003//
D
