| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 1072 | BVSpec.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 5756 | BVSpec.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 19568 | BVSpecTypeSafe.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 274 | BVSpecTypeSafe.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 8138 | Convert.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 1158 | Convert.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 10624 | Correct.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 2559 | Correct.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 39017 | LBVComplete.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 19264 | LBVCorrect.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-07-25 00:06 +0200 | 14465 | LBVSpec.thy | file | revisions | annotate |