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