| drwxr-xr-x | [up] | |||
| drwxr-xr-x | ex | files | ||
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 11490 | Arith.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 865 | Arith.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 2751 | Bool.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 750 | Bool.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1931 | Datatype.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 10545 | Epsilon.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 514 | Epsilon.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 11026 | Fixedpt.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 558 | Fixedpt.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 2341 | List.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 9516 | ListFn.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1388 | ListFn.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1824 | Makefile | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 5694 | Nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 621 | Nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 13873 | Ord.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 496 | Ord.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 5028 | Pair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 15058 | Perm.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1057 | Perm.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 9643 | QPair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1671 | QPair.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 11271 | QUniv.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 333 | QUniv.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 700 | README | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1666 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 4987 | Sum.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 731 | Sum.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 6800 | Trancl.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 636 | Trancl.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 20388 | Univ.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 973 | Univ.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 9174 | WF.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 843 | WF.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 14542 | ZF.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 7701 | ZF.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 11490 | arith.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 865 | arith.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 2751 | bool.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 750 | bool.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1769 | co-inductive.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1769 | coinductive.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 6789 | constructor.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1931 | datatype.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 7311 | domrange.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 10545 | epsilon.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 514 | epsilon.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 8325 | equalities.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 3401 | fin.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 11026 | fixedpt.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 558 | fixedpt.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 11787 | func.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 5840 | ind-syntax.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 5840 | ind_syntax.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 5626 | indrule.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1755 | inductive.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 10216 | intr-elim.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 10216 | intr_elim.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 2341 | list.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 9516 | listfn.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1388 | listfn.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 5989 | mono.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 5694 | nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 621 | nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 13873 | ord.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 496 | ord.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 5028 | pair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 15058 | perm.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1057 | perm.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 9643 | qpair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 1671 | qpair.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 11271 | quniv.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 333 | quniv.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 3824 | simpdata.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 6000 | subset.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 4987 | sum.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 731 | sum.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 6800 | trancl.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 636 | trancl.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 20388 | univ.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 973 | univ.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 9359 | upair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 9174 | wf.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 843 | wf.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 14542 | zf.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-16 12:20 +0200 | 7701 | zf.thy | file | revisions | annotate |