/src/ZF/
drwxr-xr-x [up]
drwxr-xr-x AC
drwxr-xr-x Coind
drwxr-xr-x Constructible
drwxr-xr-x IMP
drwxr-xr-x Induct
drwxr-xr-x Resid
drwxr-xr-x Tools
drwxr-xr-x UNITY
drwxr-xr-x document
drwxr-xr-x ex
-rw-r--r-- 2009-09-29 16:24 +0200 1952 AC.thy
-rw-r--r-- 2009-09-29 16:24 +0200 16595 Arith.thy
-rw-r--r-- 2009-09-29 16:24 +0200 18341 ArithSimp.thy
-rw-r--r-- 2009-09-29 16:24 +0200 17153 Bin.thy
-rw-r--r-- 2009-09-29 16:24 +0200 5517 Bool.thy
-rw-r--r-- 2009-09-29 16:24 +0200 39286 Cardinal.thy
-rw-r--r-- 2009-09-29 16:24 +0200 35657 CardinalArith.thy
-rw-r--r-- 2009-09-29 16:24 +0200 6923 Cardinal_AC.thy
-rw-r--r-- 2009-09-29 16:24 +0200 3729 Datatype_ZF.thy
-rw-r--r-- 2009-09-29 16:24 +0200 14164 Epsilon.thy
-rw-r--r-- 2009-09-29 16:24 +0200 7533 EquivClass.thy
-rw-r--r-- 2009-09-29 16:24 +0200 6182 Finite.thy
-rw-r--r-- 2009-09-29 16:24 +0200 9106 Fixedpt.thy
-rw-r--r-- 2009-09-29 16:24 +0200 3637 Inductive_ZF.thy
-rw-r--r-- 2009-09-29 16:24 +0200 3926 InfDatatype.thy
-rw-r--r-- 2009-09-29 16:24 +0200 2553 IntArith.thy
-rw-r--r-- 2009-09-29 16:24 +0200 58935 IntDiv_ZF.thy
-rw-r--r-- 2009-09-29 16:24 +0200 29421 Int_ZF.thy
-rw-r--r-- 2009-09-29 16:24 +0200 4648 IsaMakefile
-rw-r--r-- 2009-09-29 16:24 +0200 36336 List_ZF.thy
-rw-r--r-- 2009-09-29 16:24 +0200 52 Main.thy
-rw-r--r-- 2009-09-29 16:24 +0200 2282 Main_ZF.thy
-rw-r--r-- 2009-09-29 16:24 +0200 67 Main_ZFC.thy
-rw-r--r-- 2009-09-29 16:24 +0200 8427 Nat_ZF.thy
-rw-r--r-- 2009-09-29 16:24 +0200 11950 OrdQuant.thy
-rw-r--r-- 2009-09-29 16:24 +0200 23332 Order.thy
-rw-r--r-- 2009-09-29 16:24 +0200 18349 OrderArith.thy
-rw-r--r-- 2009-09-29 16:24 +0200 34985 OrderType.thy
-rw-r--r-- 2009-09-29 16:24 +0200 21317 Ordinal.thy
-rw-r--r-- 2009-09-29 16:24 +0200 15857 Perm.thy
-rw-r--r-- 2009-09-29 16:24 +0200 8102 QPair.thy
-rw-r--r-- 2009-09-29 16:24 +0200 6235 QUniv.thy
-rw-r--r-- 2009-09-29 16:24 +0200 2592 README.html
-rw-r--r-- 2009-09-29 16:24 +0200 351 ROOT.ML
-rw-r--r-- 2009-09-29 16:24 +0200 4598 Sum.thy
-rw-r--r-- 2009-09-29 16:24 +0200 11100 Trancl.thy
-rw-r--r-- 2009-09-29 16:24 +0200 24263 Univ.thy
-rw-r--r-- 2009-09-29 16:24 +0200 11661 WF.thy
-rw-r--r-- 2009-09-29 16:24 +0200 22177 ZF.thy
-rw-r--r-- 2009-09-29 16:24 +0200 17790 Zorn.thy
-rw-r--r-- 2009-09-29 16:24 +0200 9091 arith_data.ML
-rw-r--r-- 2009-09-29 16:24 +0200 26830 equalities.thy
-rw-r--r-- 2009-09-29 16:24 +0200 18266 func.thy
-rw-r--r-- 2009-09-29 16:24 +0200 4552 ind_syntax.ML
-rw-r--r-- 2009-09-29 16:24 +0200 13178 int_arith.ML
-rw-r--r-- 2009-09-29 16:24 +0200 4199 pair.thy
-rw-r--r-- 2009-09-29 16:24 +0200 2457 simpdata.ML
-rw-r--r-- 2009-09-29 16:24 +0200 14766 upair.thy