drwxr-xr-x | [up] | |||
-rw-r--r-- | 1996-06-25 17:44 +0200 | 1271 | HOL1.p | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 1038 | HOL2.p | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 97 | Nat.p | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 173 | Prod.p | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 1128 | Set.p | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 635 | add-HOL.cfg | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 509 | clean-HOL.cfg | file | revisions | annotate |
-rw-r--r-- | 1996-06-25 17:44 +0200 | 660 | extract-HOL.cfg | file | revisions | annotate |