Index of ftp://ftp.cs.iastate.edu/pub/larch/SPECS

[DIR] Parent Directory

[ ] README  3.05Kb  January 3 1996
[ GZ] SPECS-traits.tar.gz  8.28Kb  September 1 1997
[TXT] SPECS_Color.html  911.00b  September 1 1997
[ ] SPECS_Color.proof  511.00b  September 1 1997
[TXT] SPECS_FullName.html  1.96Kb  September 1 1997
[ ] SPECS_FullName.proof  717.00b  February 12 1997
[TXT] SPECS_Text.html  972.00b  September 1 1997
[TXT] SPECS_boolean.html  1.26Kb  September 1 1997
[ ] SPECS_boolean.proof  1.15Kb  September 7 1995
[TXT] SPECS_char.html  1.08Kb  September 1 1997
[TXT] SPECS_empty_tuple.html  688.00b  September 1 1997
[ ] SPECS_empty_tuple.proof  453.00b  September 1 1997
[TXT] SPECS_integer.html  641.00b  September 1 1997
[ ] SPECS_lslinit.lsi  1.12Kb  September 7 1995
[TXT] SPECS_neq_sugar.html  698.00b  September 1 1997
[ ] SPECS_neq_sugar.proof  276.00b  September 7 1995
[TXT] SPECS_real.html  624.00b  September 1 1997
[TXT] SPECS_sequence.html  2.55Kb  September 1 1997
[ ] SPECS_sequence.proof  8.92Kb  February 12 1997
[TXT] SPECS_sequence_basics.html  1.77Kb  September 1 1997
[ ] SPECS_sequence_basics.proof  1.86Kb  September 7 1995
[TXT] SPECS_sequence_sugars.html  1.03Kb  September 1 1997
[TXT] SPECS_set.html  2.61Kb  September 1 1997
[TXT] SPECS_set_basics.html  1.27Kb  September 1 1997
[ ] SPECS_set_basics.proof  2.18Kb  September 1 1997
[TXT] SPECS_set_sugars.html  968.00b  September 1 1997
[TXT] SPECS_string.html  709.00b  September 1 1997
[TXT] index.html  1.75Kb  September 1 1997