/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-- 2007-10-31 12:19 +0100 1949 AC.thy
-rw-r--r-- 2007-10-31 12:19 +0100 16595 Arith.thy
-rw-r--r-- 2007-10-31 12:19 +0100 18341 ArithSimp.thy
-rw-r--r-- 2007-10-31 12:19 +0100 17114 Bin.thy
-rw-r--r-- 2007-10-31 12:19 +0100 5517 Bool.thy
-rw-r--r-- 2007-10-31 12:19 +0100 39283 Cardinal.thy
-rw-r--r-- 2007-10-31 12:19 +0100 35656 CardinalArith.thy
-rw-r--r-- 2007-10-31 12:19 +0100 6923 Cardinal_AC.thy
-rw-r--r-- 2007-10-31 12:19 +0100 3787 Datatype.thy
-rw-r--r-- 2007-10-31 12:19 +0100 14161 Epsilon.thy
-rw-r--r-- 2007-10-31 12:19 +0100 7533 EquivClass.thy
-rw-r--r-- 2007-10-31 12:19 +0100 6176 Finite.thy
-rw-r--r-- 2007-10-31 12:19 +0100 9106 Fixedpt.thy
-rw-r--r-- 2007-10-31 12:19 +0100 3710 Inductive.thy
-rw-r--r-- 2007-10-31 12:19 +0100 3923 InfDatatype.thy
-rw-r--r-- 2007-10-31 12:19 +0100 29418 Int.thy
-rw-r--r-- 2007-10-31 12:19 +0100 60 IntArith.thy
-rw-r--r-- 2007-10-31 12:19 +0100 58918 IntDiv.thy
-rw-r--r-- 2007-10-31 12:19 +0100 4676 IsaMakefile
-rw-r--r-- 2007-10-31 12:19 +0100 36330 List.thy
-rw-r--r-- 2007-10-31 12:19 +0100 2270 Main.thy
-rw-r--r-- 2007-10-31 12:19 +0100 52 Main_ZFC.thy
-rw-r--r-- 2007-10-31 12:19 +0100 8424 Nat.thy
-rw-r--r-- 2007-10-31 12:19 +0100 11947 OrdQuant.thy
-rw-r--r-- 2007-10-31 12:19 +0100 20806 Order.thy
-rw-r--r-- 2007-10-31 12:19 +0100 18349 OrderArith.thy
-rw-r--r-- 2007-10-31 12:19 +0100 34982 OrderType.thy
-rw-r--r-- 2007-10-31 12:19 +0100 21317 Ordinal.thy
-rw-r--r-- 2007-10-31 12:19 +0100 15857 Perm.thy
-rw-r--r-- 2007-10-31 12:19 +0100 8102 QPair.thy
-rw-r--r-- 2007-10-31 12:19 +0100 6235 QUniv.thy
-rw-r--r-- 2007-10-31 12:19 +0100 2592 README.html
-rw-r--r-- 2007-10-31 12:19 +0100 395 ROOT.ML
-rw-r--r-- 2007-10-31 12:19 +0100 4598 Sum.thy
-rw-r--r-- 2007-10-31 12:19 +0100 11100 Trancl.thy
-rw-r--r-- 2007-10-31 12:19 +0100 24263 Univ.thy
-rw-r--r-- 2007-10-31 12:19 +0100 11661 WF.thy
-rw-r--r-- 2007-10-31 12:19 +0100 22093 ZF.thy
-rw-r--r-- 2007-10-31 12:19 +0100 14218 Zorn.thy
-rw-r--r-- 2007-10-31 12:19 +0100 9144 arith_data.ML
-rw-r--r-- 2007-10-31 12:19 +0100 26830 equalities.thy
-rw-r--r-- 2007-10-31 12:19 +0100 17728 func.thy
-rw-r--r-- 2007-10-31 12:19 +0100 6432 ind_syntax.ML
-rw-r--r-- 2007-10-31 12:19 +0100 16290 int_arith.ML
-rw-r--r-- 2007-10-31 12:19 +0100 4220 pair.thy
-rw-r--r-- 2007-10-31 12:19 +0100 2419 simpdata.ML
-rw-r--r-- 2007-10-31 12:19 +0100 14766 upair.thy