Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
READ-ME | 1992-12-04 12:52 | 5.3K | ||
basics.ml | 1992-12-04 12:52 | 27K | ||
cons.ml | 1992-12-04 12:52 | 8.4K | ||
hol-eval_setup.ml | 1992-12-04 12:52 | 1.4K | ||
hol2ml.ml | 1992-12-04 12:52 | 14K | ||
paper.dvi | 1992-12-04 12:52 | 26K | ||
prim.ml | 1992-12-04 12:52 | 2.8K | ||
rec.ml | 1992-12-04 12:52 | 1.5K | ||
t2s.ml | 1992-12-04 12:52 | 4.2K | ||