/debruijn.elf/1.1.1.1/Sat Sep  5 22:59:15 1998//
/eval.elf/1.1.1.1/Sat Sep  5 22:59:15 1998//
/examples.quy/1.1.1.1/Sat Sep  5 22:59:15 1998//
/feval.elf/1.1.1.1/Sat Sep  5 22:59:15 1998//
/map-eval.elf/1.3/Fri Jun  4 15:50:40 1999//
/mini-ml.elf/1.1.1.1/Sat Sep  5 22:59:15 1998//
/sources.cfg/1.1.1.1/Sat Sep  5 22:59:15 1998//
/test.cfg/1.1.1.1/Sat Sep  5 22:59:15 1998//
/trans.elf/1.1.1.1/Sat Sep  5 22:59:15 1998//
D
