| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 203 | Ackermann.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 228 | Chain.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 141 | ConstDefs.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 126 | Defs.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 92 | Exor.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 150 | Fib.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 292 | GCD.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 190 | GCD.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 108 | InfixTree.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 132 | Itrev.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 144 | Last.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 70 | NatSum.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 95 | NatSum.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 552 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 195 | Sep.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 169 | Sep2.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 71 | Tree.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 123 | Types.thy | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 41 | arith1.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 65 | arith2.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 36 | arith3.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 14 | autotac.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 117 | constdefs | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 20 | constdefsprolog | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 26 | consts | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 81 | defs | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 15 | defsprolog | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 4 | end | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 72 | exhaust.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 32 | exorgoal.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 48 | exorproof.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 37 | induct_auto.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 29 | itrev1.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 34 | itrev2.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 39 | itrev3.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 75 | natsum | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 16 | natsumprolog | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 28 | splitif.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 30 | splitlist.ML | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 53 | tree | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 14 | treeprolog | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 104 | types | file | revisions | annotate |
| -rw-r--r-- | 2000-05-08 16:59 +0200 | 15 | typesprolog | file | revisions | annotate |