/examples.quy/1.2/Wed Apr 17 18:34:33 2002//
/mini-ml.elf/1.1/Fri Mar  8 20:00:33 2002//
/programs.elf/1.1/Fri Mar  8 20:00:49 2002//
/reduce.elf/1.1/Fri Mar  8 20:01:05 2002//
/tab.cfg/1.1/Fri Mar  8 20:00:23 2002//
/value.elf/1.1/Fri Mar  8 20:01:14 2002//
D
