/src/ZF/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 1993-11-16 14:24 +0100 12271 Arith.ML
-rw-r--r-- 1993-11-16 14:24 +0100 878 Arith.thy
-rw-r--r-- 1993-11-16 14:24 +0100 4218 Bool.ML
-rw-r--r-- 1993-11-16 14:24 +0100 767 Bool.thy
-rw-r--r-- 1993-11-16 14:24 +0100 2033 Datatype.ML
-rw-r--r-- 1993-11-16 14:24 +0100 194 Datatype.thy
-rw-r--r-- 1993-11-16 14:24 +0100 9948 Epsilon.ML
-rw-r--r-- 1993-11-16 14:24 +0100 523 Epsilon.thy
-rw-r--r-- 1993-11-16 14:24 +0100 11068 Fixedpt.ML
-rw-r--r-- 1993-11-16 14:24 +0100 571 Fixedpt.thy
-rw-r--r-- 1993-11-16 14:24 +0100 2348 List.ML
-rw-r--r-- 1993-11-16 14:24 +0100 83 List.thy
-rw-r--r-- 1993-11-16 14:24 +0100 11464 ListFn.ML
-rw-r--r-- 1993-11-16 14:24 +0100 1607 ListFn.thy
-rw-r--r-- 1993-11-16 14:24 +0100 2392 Makefile
-rw-r--r-- 1993-11-16 14:24 +0100 6543 Nat.ML
-rw-r--r-- 1993-11-16 14:24 +0100 629 Nat.thy
-rw-r--r-- 1993-11-16 14:24 +0100 16754 Ord.ML
-rw-r--r-- 1993-11-16 14:24 +0100 737 Ord.thy
-rw-r--r-- 1993-11-16 14:24 +0100 4784 Pair.ML
-rw-r--r-- 1993-11-16 14:24 +0100 59 Pair.thy
-rw-r--r-- 1993-11-16 14:24 +0100 15168 Perm.ML
-rw-r--r-- 1993-11-16 14:24 +0100 1066 Perm.thy
-rw-r--r-- 1993-11-16 14:24 +0100 9009 QPair.ML
-rw-r--r-- 1993-11-16 14:24 +0100 1613 QPair.thy
-rw-r--r-- 1993-11-16 14:24 +0100 11457 QUniv.ML
-rw-r--r-- 1993-11-16 14:24 +0100 357 QUniv.thy
-rw-r--r-- 1993-11-16 14:24 +0100 700 README
-rw-r--r-- 1993-11-16 14:24 +0100 1047 ROOT.ML
-rw-r--r-- 1993-11-16 14:24 +0100 4635 Sum.ML
-rw-r--r-- 1993-11-16 14:24 +0100 744 Sum.thy
-rw-r--r-- 1993-11-16 14:24 +0100 6800 Trancl.ML
-rw-r--r-- 1993-11-16 14:24 +0100 644 Trancl.thy
-rw-r--r-- 1993-11-16 14:24 +0100 20388 Univ.ML
-rw-r--r-- 1993-11-16 14:24 +0100 927 Univ.thy
-rw-r--r-- 1993-11-16 14:24 +0100 8775 WF.ML
-rw-r--r-- 1993-11-16 14:24 +0100 852 WF.thy
-rw-r--r-- 1993-11-16 14:24 +0100 14167 ZF.ML
-rw-r--r-- 1993-11-16 14:24 +0100 7517 ZF.thy
-rw-r--r-- 1993-11-16 14:24 +0100 12271 arith.ML
-rw-r--r-- 1993-11-16 14:24 +0100 878 arith.thy
-rw-r--r-- 1993-11-16 14:24 +0100 4218 bool.ML
-rw-r--r-- 1993-11-16 14:24 +0100 767 bool.thy
-rw-r--r-- 1993-11-16 14:24 +0100 1769 co-inductive.ML
-rw-r--r-- 1993-11-16 14:24 +0100 1762 coinductive.ML
-rw-r--r-- 1993-11-16 14:24 +0100 84 coinductive.thy
-rw-r--r-- 1993-11-16 14:24 +0100 6649 constructor.ML
-rw-r--r-- 1993-11-16 14:24 +0100 70 constructor.thy
-rw-r--r-- 1993-11-16 14:24 +0100 2033 datatype.ML
-rw-r--r-- 1993-11-16 14:24 +0100 194 datatype.thy
-rw-r--r-- 1993-11-16 14:24 +0100 7272 domrange.ML
-rw-r--r-- 1993-11-16 14:24 +0100 73 domrange.thy
-rw-r--r-- 1993-11-16 14:24 +0100 9948 epsilon.ML
-rw-r--r-- 1993-11-16 14:24 +0100 523 epsilon.thy
-rw-r--r-- 1993-11-16 14:24 +0100 8325 equalities.ML
-rw-r--r-- 1993-11-16 14:24 +0100 67 equalities.thy
-rw-r--r-- 1993-11-16 14:24 +0100 3448 fin.ML
-rw-r--r-- 1993-11-16 14:24 +0100 115 fin.thy
-rw-r--r-- 1993-11-16 14:24 +0100 11068 fixedpt.ML
-rw-r--r-- 1993-11-16 14:24 +0100 571 fixedpt.thy
-rw-r--r-- 1993-11-16 14:24 +0100 11960 func.ML
-rw-r--r-- 1993-11-16 14:24 +0100 61 func.thy
-rw-r--r-- 1993-11-16 14:24 +0100 5337 ind-syntax.ML
-rw-r--r-- 1993-11-16 14:24 +0100 5337 ind_syntax.ML
-rw-r--r-- 1993-11-16 14:24 +0100 64 ind_syntax.thy
-rw-r--r-- 1993-11-16 14:24 +0100 5626 indrule.ML
-rw-r--r-- 1993-11-16 14:24 +0100 81 indrule.thy
-rw-r--r-- 1993-11-16 14:24 +0100 1755 inductive.ML
-rw-r--r-- 1993-11-16 14:24 +0100 66 inductive.thy
-rw-r--r-- 1993-11-16 14:24 +0100 10794 intr-elim.ML
-rw-r--r-- 1993-11-16 14:24 +0100 10794 intr_elim.ML
-rw-r--r-- 1993-11-16 14:24 +0100 79 intr_elim.thy
-rw-r--r-- 1993-11-16 14:24 +0100 2348 list.ML
-rw-r--r-- 1993-11-16 14:24 +0100 83 list.thy
-rw-r--r-- 1993-11-16 14:24 +0100 11464 listfn.ML
-rw-r--r-- 1993-11-16 14:24 +0100 1607 listfn.thy
-rw-r--r-- 1993-11-16 14:24 +0100 5989 mono.ML
-rw-r--r-- 1993-11-16 14:24 +0100 63 mono.thy
-rw-r--r-- 1993-11-16 14:24 +0100 6543 nat.ML
-rw-r--r-- 1993-11-16 14:24 +0100 629 nat.thy
-rw-r--r-- 1993-11-16 14:24 +0100 16754 ord.ML
-rw-r--r-- 1993-11-16 14:24 +0100 737 ord.thy
-rw-r--r-- 1993-11-16 14:24 +0100 4784 pair.ML
-rw-r--r-- 1993-11-16 14:24 +0100 59 pair.thy
-rw-r--r-- 1993-11-16 14:24 +0100 15168 perm.ML
-rw-r--r-- 1993-11-16 14:24 +0100 1066 perm.thy
-rw-r--r-- 1993-11-16 14:24 +0100 9009 qpair.ML
-rw-r--r-- 1993-11-16 14:24 +0100 1613 qpair.thy
-rw-r--r-- 1993-11-16 14:24 +0100 11457 quniv.ML
-rw-r--r-- 1993-11-16 14:24 +0100 357 quniv.thy
-rw-r--r-- 1993-11-16 14:24 +0100 3496 simpdata.ML
-rw-r--r-- 1993-11-16 14:24 +0100 61 simpdata.thy
-rw-r--r-- 1993-11-16 14:24 +0100 6000 subset.ML
-rw-r--r-- 1993-11-16 14:24 +0100 61 subset.thy
-rw-r--r-- 1993-11-16 14:24 +0100 4635 sum.ML
-rw-r--r-- 1993-11-16 14:24 +0100 744 sum.thy
-rw-r--r-- 1993-11-16 14:24 +0100 6800 trancl.ML
-rw-r--r-- 1993-11-16 14:24 +0100 644 trancl.thy
-rw-r--r-- 1993-11-16 14:24 +0100 20388 univ.ML
-rw-r--r-- 1993-11-16 14:24 +0100 927 univ.thy
-rw-r--r-- 1993-11-16 14:24 +0100 9253 upair.ML
-rw-r--r-- 1993-11-16 14:24 +0100 55 upair.thy
-rw-r--r-- 1993-11-16 14:24 +0100 8775 wf.ML
-rw-r--r-- 1993-11-16 14:24 +0100 852 wf.thy
-rw-r--r-- 1993-11-16 14:24 +0100 14167 zf.ML
-rw-r--r-- 1993-11-16 14:24 +0100 7517 zf.thy