/README/1.1.1.1/Sat Sep  5 22:59:09 1998//
/church-rosser.thm/1.9/Fri Jun  4 16:27:41 1999//
/cr.thm/1.1.1.1/Sat Sep  5 22:59:10 1998//
/equiv.elf/1.4/Mon Aug 25 16:55:34 2003//
/examples.quy/1.2/Wed Sep 12 18:37:18 2001//
/lam.elf/1.2/Fri Dec 28 15:22:20 2001//
/ord-cr.elf/1.2/Fri Dec 28 15:22:20 2001//
/ord-lemmas.elf/1.2/Fri Dec 28 15:22:20 2001//
/ord-red.elf/1.4/Fri Dec 28 15:22:20 2001//
/par-cr.elf/1.2/Fri Dec 28 15:22:20 2001//
/par-lemmas.elf/1.3/Fri Dec 28 15:22:20 2001//
/par-red.elf/1.3/Wed Nov  7 22:44:35 2001//
/sources.cfg/1.1.1.1/Sat Sep  5 22:59:10 1998//
/test-unsafe.cfg/1.2/Wed Apr 21 13:50:32 1999//
/test.cfg/1.4/Tue Jan 26 12:19:45 1999//
/test.tag/1.1.1.1/Sat Sep  5 22:59:10 1998//
D
