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