/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-- 2011-11-20 20:15 +0100 1930 AC.thy
-rw-r--r-- 2011-11-20 20:15 +0100 16573 Arith.thy
-rw-r--r-- 2011-11-20 20:15 +0100 18320 ArithSimp.thy
-rw-r--r-- 2011-11-20 20:15 +0100 17220 Bin.thy
-rw-r--r-- 2011-11-20 20:15 +0100 5442 Bool.thy
-rw-r--r-- 2011-11-20 20:15 +0100 39329 Cardinal.thy
-rw-r--r-- 2011-11-20 20:15 +0100 35727 CardinalArith.thy
-rw-r--r-- 2011-11-20 20:15 +0100 6894 Cardinal_AC.thy
-rw-r--r-- 2011-11-20 20:15 +0100 3771 Datatype_ZF.thy
-rw-r--r-- 2011-11-20 20:15 +0100 14142 Epsilon.thy
-rw-r--r-- 2011-11-20 20:15 +0100 7511 EquivClass.thy
-rw-r--r-- 2011-11-20 20:15 +0100 6149 Finite.thy
-rw-r--r-- 2011-11-20 20:15 +0100 9085 Fixedpt.thy
-rw-r--r-- 2011-11-20 20:15 +0100 3637 Inductive_ZF.thy
-rw-r--r-- 2011-11-20 20:15 +0100 3912 InfDatatype.thy
-rw-r--r-- 2011-11-20 20:15 +0100 2512 IntArith.thy
-rw-r--r-- 2011-11-20 20:15 +0100 59036 IntDiv_ZF.thy
-rw-r--r-- 2011-11-20 20:15 +0100 29366 Int_ZF.thy
-rw-r--r-- 2011-11-20 20:15 +0100 4665 IsaMakefile
-rw-r--r-- 2011-11-20 20:15 +0100 36279 List_ZF.thy
-rw-r--r-- 2011-11-20 20:15 +0100 40 Main.thy
-rw-r--r-- 2011-11-20 20:15 +0100 2286 Main_ZF.thy
-rw-r--r-- 2011-11-20 20:15 +0100 55 Main_ZFC.thy
-rw-r--r-- 2011-11-20 20:15 +0100 8375 Nat_ZF.thy
-rw-r--r-- 2011-11-20 20:15 +0100 11832 OrdQuant.thy
-rw-r--r-- 2011-11-20 20:15 +0100 23402 Order.thy
-rw-r--r-- 2011-11-20 20:15 +0100 18327 OrderArith.thy
-rw-r--r-- 2011-11-20 20:15 +0100 34977 OrderType.thy
-rw-r--r-- 2011-11-20 20:15 +0100 21295 Ordinal.thy
-rw-r--r-- 2011-11-20 20:15 +0100 16101 Perm.thy
-rw-r--r-- 2011-11-20 20:15 +0100 8047 QPair.thy
-rw-r--r-- 2011-11-20 20:15 +0100 6133 QUniv.thy
-rw-r--r-- 2011-11-20 20:15 +0100 2577 README.html
-rw-r--r-- 2011-11-20 20:15 +0100 330 ROOT.ML
-rw-r--r-- 2011-11-20 20:15 +0100 4558 Sum.thy
-rw-r--r-- 2011-11-20 20:15 +0100 11038 Trancl.thy
-rw-r--r-- 2011-11-20 20:15 +0100 24200 Univ.thy
-rw-r--r-- 2011-11-20 20:15 +0100 11610 WF.thy
-rw-r--r-- 2011-11-20 20:15 +0100 22173 ZF.thy
-rw-r--r-- 2011-11-20 20:15 +0100 17839 Zorn.thy
-rw-r--r-- 2011-11-20 20:15 +0100 9295 arith_data.ML
-rw-r--r-- 2011-11-20 20:15 +0100 26773 equalities.thy
-rw-r--r-- 2011-11-20 20:15 +0100 18251 func.thy
-rw-r--r-- 2011-11-20 20:15 +0100 4538 ind_syntax.ML
-rw-r--r-- 2011-11-20 20:15 +0100 13758 int_arith.ML
-rw-r--r-- 2011-11-20 20:15 +0100 4891 pair.thy
-rw-r--r-- 2011-11-20 20:15 +0100 1629 simpdata.ML
-rw-r--r-- 2011-11-20 20:15 +0100 14686 upair.thy