/ceval-complete.elf/1.2/Mon Aug 25 16:55:34 2003//
/ceval-complete.thm/1.2/Fri Jan 22 16:53:09 1999//
/ceval-sound.elf/1.1.1.1/Sat Sep  5 22:59:15 1998//
/ceval.elf/1.1.1.1/Sat Sep  5 22:59:15 1998//
/cpm.elf/1.1.1.1/Sat Sep  5 22:59:15 1998//
/evalv.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//
/mini-mlv.elf/1.1.1.1/Sat Sep  5 22:59:15 1998//
/proof-equiv.elf/1.2/Mon Aug 25 16:55:34 2003//
/proof-equiv.thm/1.1.1.1/Sat Sep  5 22:59:15 1998//
/slow.quy/1.1.1.1/Sat Sep  5 22:59:16 1998//
/sources.cfg/1.3/Fri Jun  4 16:27:41 1999//
/test.cfg/1.1.1.1/Sat Sep  5 22:59:16 1998//
/theorems.elf/1.1.1.1/Sat Sep  5 22:59:16 1998//
/theorems.thm/1.1.1.1/Sat Sep  5 22:59:16 1998//
D
