![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Top | 12-Feb-1999 11:24 | 484 | |
| basiclem.mod | 12-Feb-1999 11:24 | 8.7K | |
| basiclem.sig | 12-Feb-1999 11:24 | 2.2K | |
| checker.mod | 12-Feb-1999 12:52 | 6.4K | |
| checker.sig | 12-Feb-1999 11:24 | 183 | |
| instr.mod | 12-Feb-1999 11:24 | 88 | |
| instr.sig | 12-Feb-1999 11:24 | 401 | |
| intlist.mod | 12-Feb-1999 11:24 | 1.5K | |
| intlist.sig | 12-Feb-1999 11:24 | 256 | |
| lemma.mod | 15-Feb-1999 10:27 | 700 | |
| lemma.sig | 12-Feb-1999 11:24 | 163 | |
| let.mod | 12-Feb-1999 11:24 | 3.2K | |
| let.sig | 12-Feb-1999 11:24 | 725 | |
| logic.mod | 12-Feb-1999 11:24 | 36 | |
| logic.sig | 12-Feb-1999 11:24 | 1.0K | |
| lprf.mod | 12-Feb-1999 11:24 | 34 | |
| lprf.sig | 12-Feb-1999 11:24 | 2.9K | |
| substitute.mod | 12-Feb-1999 11:24 | 1.7K | |
| substitute.sig | 12-Feb-1999 11:24 | 382 | |
| test.mod | 12-Feb-1999 11:24 | 110 | |
| test.sig | 12-Feb-1999 11:24 | 330 | |
| types.mod | 12-Feb-1999 11:24 | 4.2K | |
| types.sig | 12-Feb-1999 11:24 | 1.3K | |