| drwxr-xr-x | [up] | |||
| drwxr-xr-x | ex | files | ||
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 12271 | Arith.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 865 | Arith.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 2618 | Bool.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 754 | Bool.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 2039 | Datatype.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 9948 | Epsilon.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 514 | Epsilon.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 11068 | Fixedpt.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 558 | Fixedpt.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 2306 | List.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 11464 | ListFn.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1591 | ListFn.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1814 | Makefile | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 6521 | Nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 621 | Nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 16754 | Ord.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 709 | Ord.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 4784 | Pair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 15168 | Perm.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1057 | Perm.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 9009 | QPair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1613 | QPair.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 11458 | QUniv.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 333 | QUniv.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 700 | README | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1744 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 4635 | Sum.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 731 | Sum.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 6800 | Trancl.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 636 | Trancl.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 20388 | Univ.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 918 | Univ.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 8775 | WF.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 843 | WF.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 14168 | ZF.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 7519 | ZF.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 12271 | arith.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 865 | arith.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 2618 | bool.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 754 | bool.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1769 | co-inductive.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1769 | coinductive.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 6649 | constructor.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 2039 | datatype.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 7272 | domrange.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 9948 | epsilon.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 514 | epsilon.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 8325 | equalities.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 3416 | fin.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 11068 | fixedpt.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 558 | fixedpt.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 11960 | func.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 5977 | ind-syntax.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 5977 | ind_syntax.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 5626 | indrule.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1755 | inductive.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 10787 | intr-elim.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 10787 | intr_elim.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 2306 | list.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 11464 | listfn.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1591 | listfn.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 5989 | mono.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 6521 | nat.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 621 | nat.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 16754 | ord.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 709 | ord.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 4784 | pair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 15168 | perm.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1057 | perm.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 9009 | qpair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 1613 | qpair.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 11458 | quniv.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 333 | quniv.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 3496 | simpdata.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 6000 | subset.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 4635 | sum.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 731 | sum.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 6800 | trancl.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 636 | trancl.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 20388 | univ.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 918 | univ.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 9253 | upair.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 8775 | wf.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 843 | wf.thy | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 14168 | zf.ML | file | revisions | annotate |
| -rw-r--r-- | 1993-10-21 17:20 +0100 | 7519 | zf.thy | file | revisions | annotate |