Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Makefile | 1992-12-04 12:50 | 1.5K | ||
READ-ME | 1992-12-04 12:50 | 4.1K | ||
compat11.ml | 1992-12-04 12:50 | 4.4K | ||
lib1.shar | 1992-12-04 12:50 | 54K | ||
lib2.shar | 1992-12-04 12:50 | 19K | ||
mk_transfinite.ml | 1992-12-04 12:50 | 14K | ||
mk_well_order.ml | 1992-12-04 12:50 | 45K | ||
transfinite.th | 1992-12-04 12:50 | 6.8K | ||
well_order.ml | 1992-12-04 12:50 | 795 | ||
well_order.th | 1992-12-04 12:50 | 9.8K | ||
wo_fns.ml | 1992-12-04 12:50 | 2.4K | ||
wo_fns_ml.o | 1992-12-04 12:50 | 15K | ||