/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-- 2012-03-19 21:10 +0100 1975 AC.thy
-rw-r--r-- 2012-03-19 21:10 +0100 16749 Arith.thy
-rw-r--r-- 2012-03-19 21:10 +0100 19010 ArithSimp.thy
-rw-r--r-- 2012-03-19 21:10 +0100 17761 Bin.thy
-rw-r--r-- 2012-03-19 21:10 +0100 4266 Bool.thy
-rw-r--r-- 2012-03-19 21:10 +0100 39277 Cardinal.thy
-rw-r--r-- 2012-03-19 21:10 +0100 35183 CardinalArith.thy
-rw-r--r-- 2012-03-19 21:10 +0100 8274 Cardinal_AC.thy
-rw-r--r-- 2012-03-19 21:10 +0100 3816 Datatype_ZF.thy
-rw-r--r-- 2012-03-19 21:10 +0100 12319 Epsilon.thy
-rw-r--r-- 2012-03-19 21:10 +0100 7946 EquivClass.thy
-rw-r--r-- 2012-03-19 21:10 +0100 6651 Finite.thy
-rw-r--r-- 2012-03-19 21:10 +0100 9737 Fixedpt.thy
-rw-r--r-- 2012-03-19 21:10 +0100 3894 Inductive_ZF.thy
-rw-r--r-- 2012-03-19 21:10 +0100 3980 InfDatatype.thy
-rw-r--r-- 2012-03-19 21:10 +0100 2684 IntArith.thy
-rw-r--r-- 2012-03-19 21:10 +0100 59378 IntDiv_ZF.thy
-rw-r--r-- 2012-03-19 21:10 +0100 30259 Int_ZF.thy
-rw-r--r-- 2012-03-19 21:10 +0100 4675 IsaMakefile
-rw-r--r-- 2012-03-19 21:10 +0100 37980 List_ZF.thy
-rw-r--r-- 2012-03-19 21:10 +0100 40 Main.thy
-rw-r--r-- 2012-03-19 21:10 +0100 2278 Main_ZF.thy
-rw-r--r-- 2012-03-19 21:10 +0100 55 Main_ZFC.thy
-rw-r--r-- 2012-03-19 21:10 +0100 8827 Nat_ZF.thy
-rw-r--r-- 2012-03-19 21:10 +0100 12522 OrdQuant.thy
-rw-r--r-- 2012-03-19 21:10 +0100 24479 Order.thy
-rw-r--r-- 2012-03-19 21:10 +0100 18823 OrderArith.thy
-rw-r--r-- 2012-03-19 21:10 +0100 35706 OrderType.thy
-rw-r--r-- 2012-03-19 21:10 +0100 22945 Ordinal.thy
-rw-r--r-- 2012-03-19 21:10 +0100 17104 Perm.thy
-rw-r--r-- 2012-03-19 21:10 +0100 8555 QPair.thy
-rw-r--r-- 2012-03-19 21:10 +0100 6449 QUniv.thy
-rw-r--r-- 2012-03-19 21:10 +0100 2577 README.html
-rw-r--r-- 2012-03-19 21:10 +0100 330 ROOT.ML
-rw-r--r-- 2012-03-19 21:10 +0100 4977 Sum.thy
-rw-r--r-- 2012-03-19 21:10 +0100 11374 Trancl.thy
-rw-r--r-- 2012-03-19 21:10 +0100 24825 Univ.thy
-rw-r--r-- 2012-03-19 21:10 +0100 12470 WF.thy
-rw-r--r-- 2012-03-19 21:10 +0100 22509 ZF.thy
-rw-r--r-- 2012-03-19 21:10 +0100 18449 Zorn.thy
-rw-r--r-- 2012-03-19 21:10 +0100 9320 arith_data.ML
-rw-r--r-- 2012-03-19 21:10 +0100 28726 equalities.thy
-rw-r--r-- 2012-03-19 21:10 +0100 19680 func.thy
-rw-r--r-- 2012-03-19 21:10 +0100 4538 ind_syntax.ML
-rw-r--r-- 2012-03-19 21:10 +0100 13758 int_arith.ML
-rw-r--r-- 2012-03-19 21:10 +0100 5357 pair.thy
-rw-r--r-- 2012-03-19 21:10 +0100 1629 simpdata.ML
-rw-r--r-- 2012-03-19 21:10 +0100 17877 upair.thy