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