| drwxr-xr-x | [up] | |||
| drwxr-xr-x | ex | files | ||
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 10939 | Arith.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 865 | Arith.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 2627 | Bool.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 750 | Bool.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1931 | Datatype.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 10170 | Epsilon.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 514 | Epsilon.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 11026 | Fixedpt.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 558 | Fixedpt.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 2342 | List.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 9226 | ListFn.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1388 | ListFn.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1824 | Makefile | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 5343 | Nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 621 | Nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 13878 | Ord.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 496 | Ord.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 4784 | Pair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 15170 | Perm.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1057 | Perm.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 9138 | QPair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1671 | QPair.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 11272 | QUniv.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 333 | QUniv.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 700 | README | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 2102 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 4764 | Sum.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 731 | Sum.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 6800 | Trancl.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 636 | Trancl.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 20108 | Univ.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 973 | Univ.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 8775 | WF.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 843 | WF.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 14175 | ZF.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 7701 | ZF.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 10939 | arith.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 865 | arith.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 2627 | bool.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 750 | bool.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1769 | co-inductive.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1769 | coinductive.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 6649 | constructor.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1931 | datatype.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 7311 | domrange.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 10170 | epsilon.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 514 | epsilon.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 8325 | equalities.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 3372 | fin.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 11026 | fixedpt.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 558 | fixedpt.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 11869 | func.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 5787 | ind-syntax.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 5787 | ind_syntax.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 5626 | indrule.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1755 | inductive.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 10216 | intr-elim.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 10216 | intr_elim.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 2342 | list.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 9226 | listfn.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1388 | listfn.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 5989 | mono.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 5343 | nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 621 | nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 13878 | ord.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 496 | ord.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 4784 | pair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 15170 | perm.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1057 | perm.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 9138 | qpair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 1671 | qpair.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 11272 | quniv.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 333 | quniv.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 3240 | simpdata.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 6000 | subset.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 4764 | sum.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 731 | sum.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 6800 | trancl.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 636 | trancl.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 20108 | univ.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 973 | univ.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 9110 | upair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 8775 | wf.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 843 | wf.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 14175 | zf.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-09-20 17:02 +0200 | 7701 | zf.thy | file | revisions | annotate |