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