/NOTES/1.1/Mon Jan 18 12:46:43 1999//
/READ.ME/1.1/Mon Jan 18 12:46:44 1999//
/corr.elf/1.1/Mon Jan 18 12:46:44 1999//
/cpsBNF.elf/1.1/Mon Jan 18 12:46:44 1999//
/def1+5+fig4.elf/1.1/Mon Jan 18 12:46:44 1999//
/def13.elf/1.2/Wed Jan 27 09:40:52 1999//
/def16.elf/1.1/Mon Jan 18 12:46:45 1999//
/def3+6+fig5.elf/1.1/Mon Jan 18 12:46:45 1999//
/dsBNF.elf/1.1/Mon Jan 18 12:46:46 1999//
/examples.quy/1.1/Mon Jan 18 12:46:46 1999//
/examples.quy.orig/1.1/Mon Jan 18 12:46:46 1999//
/fig1.elf/1.1/Mon Jan 18 12:46:47 1999//
/fig10.elf/1.1/Mon Jan 18 12:46:47 1999//
/fig11.elf/1.1/Mon Jan 18 12:46:47 1999//
/fig12.elf/1.1/Mon Jan 18 12:46:47 1999//
/fig13.elf/1.1/Mon Jan 18 12:46:48 1999//
/fig7.elf/1.1/Mon Jan 18 12:46:48 1999//
/fig8.elf/1.1/Mon Jan 18 12:46:48 1999//
/fig9.elf/1.1/Mon Jan 18 12:46:49 1999//
/lemma14.elf/1.1/Mon Jan 18 12:46:49 1999//
/lemma17.elf/1.1/Mon Jan 18 12:46:49 1999//
/lemma7.elf/1.1/Mon Jan 18 12:46:50 1999//
/lemma9.elf/1.2/Tue Jan 19 09:03:32 1999//
/load.sml/1.1/Mon Jan 18 12:46:50 1999//
/sources.cfg/1.3/Wed Jan 27 09:40:52 1999//
/test.cfg/1.1/Mon Jan 18 12:46:51 1999//
/test.quy/1.1/Mon Jan 18 12:46:51 1999//
/test.quy.orig/1.1/Mon Jan 18 12:46:52 1999//
/th10.elf/1.2/Tue Jan 19 09:03:33 1999//
/th15.elf/1.1/Mon Jan 18 12:46:52 1999//
/th18.elf/1.1/Mon Jan 18 12:46:52 1999//
/th2.elf/1.1/Mon Jan 18 12:46:53 1999//
/th4.elf/1.1/Mon Jan 18 12:46:54 1999//
/th8.elf/1.1/Mon Jan 18 12:46:54 1999//
D
