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