| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2000-03-13 13:21 +0100 | 1271 | HOL1.p | file | revisions | annotate |
| -rw-r--r-- | 2000-03-13 13:21 +0100 | 1194 | HOL2.p | file | revisions | annotate |
| -rw-r--r-- | 2000-03-13 13:21 +0100 | 97 | Nat.p | file | revisions | annotate |
| -rw-r--r-- | 2000-03-13 13:21 +0100 | 173 | Prod.p | file | revisions | annotate |
| -rw-r--r-- | 2000-03-13 13:21 +0100 | 1128 | Set.p | file | revisions | annotate |
| -rw-r--r-- | 2000-03-13 13:21 +0100 | 665 | add-HOL.cfg | file | revisions | annotate |
| -rw-r--r-- | 2000-03-13 13:21 +0100 | 509 | clean-HOL.cfg | file | revisions | annotate |
| -rw-r--r-- | 2000-03-13 13:21 +0100 | 690 | extract-HOL.cfg | file | revisions | annotate |