/debruijn.elf/1.1.1.1/Sat Sep  5 22:59:12 1998//
/eval.elf/1.1.1.1/Sat Sep  5 22:59:14 1998//
/examples.quy/1.1.1.1/Sat Sep  5 22:59:12 1998//
/feval.elf/1.1.1.1/Sat Sep  5 22:59:12 1998//
/map-eval.elf/1.4/Fri Dec 28 15:22:20 2001//
/mini-ml.elf/1.1.1.1/Sat Sep  5 22:59:12 1998//
/sources.cfg/1.2/Fri Dec 28 15:22:20 2001//
/test.cfg/1.1.1.1/Sat Sep  5 22:59:14 1998//
/trans.elf/1.2/Fri Dec 28 15:22:20 2001//
/val-lemmas.elf/1.4/Fri Dec 28 15:22:20 2001//
/value.elf/1.1.1.1/Sat Sep  5 22:59:14 1998//
D
