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