Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Derived/ | 1993-09-24 09:14 | - | ||
HOLproof.dvi | 1993-09-24 09:16 | 69K | ||
Inference/ | 1993-09-24 09:14 | - | ||
Proof/ | 1993-09-24 09:14 | - | ||
Proofaux/ | 1993-09-24 09:14 | - | ||
Pterm/ | 1993-09-24 09:14 | - | ||
READ-ME | 1993-09-24 09:31 | 2.3K | ||
Rules/ | 1993-09-24 09:14 | - | ||
Type/ | 1993-09-24 09:14 | - | ||
defs/ | 1993-09-24 09:14 | - | ||
hol-init.ml | 1993-09-24 09:14 | 145 | ||
ld_proof.ml | 1993-09-24 09:20 | 846 | ||
mk_proof.ml | 1993-09-24 09:14 | 873 | ||