Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
NOTES 1999-01-18 13:46 191
READ.ME 1999-01-18 13:46 2.1K
![[ ]](/icons/unknown.gif){kind=icon}
corr.elf 1999-01-18 13:46 628
cpsBNF.elf 1999-01-18 13:46 463
def1+5+fig4.elf 1999-01-18 13:46 1.2K
def3+6+fig5.elf 2005-03-13 16:44 1.7K
def13.elf 1999-01-27 10:40 1.4K
def16.elf 1999-01-18 13:46 1.1K
dsBNF.elf 1999-01-18 13:46 352
examples.quy 1999-01-18 13:46 81K
fig1.elf 1999-01-18 13:46 968
fig7.elf 1999-01-18 13:46 772
fig8.elf 1999-01-18 13:46 1.4K
fig9.elf 1999-01-18 13:46 438
fig10.elf 1999-01-18 13:46 1.1K
fig11.elf 1999-01-18 13:46 305
fig12.elf 1999-01-18 13:46 2.5K
fig13.elf 1999-01-18 13:46 264
lemma7.elf 1999-01-18 13:46 1.4K
lemma9.elf 2005-03-13 16:44 6.9K
lemma14.elf 1999-01-18 13:46 2.7K
lemma17.elf 2005-03-13 16:44 31K
load.sml 1999-01-18 13:46 687
sources.cfg 1999-01-27 10:40 269
test.cfg 1999-01-18 13:46 264
test.quy 1999-01-18 13:46 11K
th2.elf 1999-01-18 13:46 1.5K
th4.elf 1999-01-18 13:46 3.1K
th8.elf 1999-01-18 13:46 946
th10.elf 1999-01-19 10:03 2.1K
th15.elf 1999-01-18 13:46 4.5K
th18.elf 1999-01-18 13:46 6.8K