| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 528 | .if.thy.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 2265 | .list.thy.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1437 | .nat.thy.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 2000 | .nat2.thy.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1318 | .prolog.thy.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1517 | If.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 91 | If.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 701 | IffOracle.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 279 | IffOracle.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1741 | List.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1205 | List.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1435 | Nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 789 | Nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 4188 | Nat2.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 914 | Nat2.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1350 | NatClass.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 934 | NatClass.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1937 | Prolog.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 744 | Prolog.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1044 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 17184 | cla.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 750 | declIffOracle.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 21 | declIffOracle.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 2886 | foundn.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1665 | if.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 93 | if.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 12132 | int.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 2159 | intro.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1988 | list.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1089 | list.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 2204 | mini.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1716 | nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 895 | nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 4765 | nat2.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 848 | nat2.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 1930 | prolog.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 738 | prolog.thy | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 3022 | prop.ML | file | revisions | annotate |
| -rw-r--r-- | 1997-07-17 15:03 +0200 | 2774 | quant.ML | file | revisions | annotate |