drwxr-xr-x | [up] | |||
drwxr-xr-x | ex | files | ||
-rw-r--r-- | 1993-09-30 10:26 +0100 | 13055 | Arith.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 865 | Arith.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 2619 | Bool.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 754 | Bool.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1931 | Datatype.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 10212 | Epsilon.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 514 | Epsilon.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 11068 | Fixedpt.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 558 | Fixedpt.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 2316 | List.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 11477 | ListFn.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1593 | ListFn.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1824 | Makefile | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 6332 | Nat.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 621 | Nat.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 14004 | Ord.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 496 | Ord.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 4784 | Pair.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 15170 | Perm.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1057 | Perm.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 9138 | QPair.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1671 | QPair.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 11458 | QUniv.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 333 | QUniv.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 700 | README | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1749 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 4764 | Sum.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 731 | Sum.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 6800 | Trancl.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 636 | Trancl.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 20278 | Univ.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 973 | Univ.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 8775 | WF.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 843 | WF.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 14175 | ZF.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 7701 | ZF.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 13055 | arith.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 865 | arith.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 2619 | bool.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 754 | bool.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1769 | co-inductive.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1769 | coinductive.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 6649 | constructor.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1931 | datatype.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 7272 | domrange.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 10212 | epsilon.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 514 | epsilon.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 8325 | equalities.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 3372 | fin.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 11068 | fixedpt.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 558 | fixedpt.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 11962 | func.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 5842 | ind-syntax.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 5842 | ind_syntax.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 5626 | indrule.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1755 | inductive.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 10606 | intr-elim.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 10606 | intr_elim.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 2316 | list.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 11477 | listfn.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1593 | listfn.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 5989 | mono.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 6332 | nat.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 621 | nat.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 14004 | ord.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 496 | ord.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 4784 | pair.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 15170 | perm.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1057 | perm.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 9138 | qpair.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 1671 | qpair.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 11458 | quniv.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 333 | quniv.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 3496 | simpdata.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 6000 | subset.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 4764 | sum.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 731 | sum.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 6800 | trancl.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 636 | trancl.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 20278 | univ.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 973 | univ.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 9258 | upair.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 8775 | wf.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 843 | wf.thy | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 14175 | zf.ML | file | revisions | annotate |
-rw-r--r-- | 1993-09-30 10:26 +0100 | 7701 | zf.thy | file | revisions | annotate |