/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-08-11 09:11 -0700 1930 AC.thy
-rw-r--r-- 2011-08-11 09:11 -0700 16573 Arith.thy
-rw-r--r-- 2011-08-11 09:11 -0700 18320 ArithSimp.thy
-rw-r--r-- 2011-08-11 09:11 -0700 17220 Bin.thy
-rw-r--r-- 2011-08-11 09:11 -0700 5532 Bool.thy
-rw-r--r-- 2011-08-11 09:11 -0700 39399 Cardinal.thy
-rw-r--r-- 2011-08-11 09:11 -0700 35757 CardinalArith.thy
-rw-r--r-- 2011-08-11 09:11 -0700 6904 Cardinal_AC.thy
-rw-r--r-- 2011-08-11 09:11 -0700 3771 Datatype_ZF.thy
-rw-r--r-- 2011-08-11 09:11 -0700 14192 Epsilon.thy
-rw-r--r-- 2011-08-11 09:11 -0700 7511 EquivClass.thy
-rw-r--r-- 2011-08-11 09:11 -0700 6169 Finite.thy
-rw-r--r-- 2011-08-11 09:11 -0700 9085 Fixedpt.thy
-rw-r--r-- 2011-08-11 09:11 -0700 3637 Inductive_ZF.thy
-rw-r--r-- 2011-08-11 09:11 -0700 3912 InfDatatype.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2553 IntArith.thy
-rw-r--r-- 2011-08-11 09:11 -0700 59098 IntDiv_ZF.thy
-rw-r--r-- 2011-08-11 09:11 -0700 29416 Int_ZF.thy
-rw-r--r-- 2011-08-11 09:11 -0700 4665 IsaMakefile
-rw-r--r-- 2011-08-11 09:11 -0700 36289 List_ZF.thy
-rw-r--r-- 2011-08-11 09:11 -0700 40 Main.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2286 Main_ZF.thy
-rw-r--r-- 2011-08-11 09:11 -0700 55 Main_ZFC.thy
-rw-r--r-- 2011-08-11 09:11 -0700 8415 Nat_ZF.thy
-rw-r--r-- 2011-08-11 09:11 -0700 11832 OrdQuant.thy
-rw-r--r-- 2011-08-11 09:11 -0700 23402 Order.thy
-rw-r--r-- 2011-08-11 09:11 -0700 18327 OrderArith.thy
-rw-r--r-- 2011-08-11 09:11 -0700 34977 OrderType.thy
-rw-r--r-- 2011-08-11 09:11 -0700 21295 Ordinal.thy
-rw-r--r-- 2011-08-11 09:11 -0700 16131 Perm.thy
-rw-r--r-- 2011-08-11 09:11 -0700 8077 QPair.thy
-rw-r--r-- 2011-08-11 09:11 -0700 6233 QUniv.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2577 README.html
-rw-r--r-- 2011-08-11 09:11 -0700 330 ROOT.ML
-rw-r--r-- 2011-08-11 09:11 -0700 4588 Sum.thy
-rw-r--r-- 2011-08-11 09:11 -0700 11078 Trancl.thy
-rw-r--r-- 2011-08-11 09:11 -0700 24290 Univ.thy
-rw-r--r-- 2011-08-11 09:11 -0700 11640 WF.thy
-rw-r--r-- 2011-08-11 09:11 -0700 22203 ZF.thy
-rw-r--r-- 2011-08-11 09:11 -0700 17859 Zorn.thy
-rw-r--r-- 2011-08-11 09:11 -0700 9301 arith_data.ML
-rw-r--r-- 2011-08-11 09:11 -0700 26783 equalities.thy
-rw-r--r-- 2011-08-11 09:11 -0700 18251 func.thy
-rw-r--r-- 2011-08-11 09:11 -0700 4539 ind_syntax.ML
-rw-r--r-- 2011-08-11 09:11 -0700 13758 int_arith.ML
-rw-r--r-- 2011-08-11 09:11 -0700 4951 pair.thy
-rw-r--r-- 2011-08-11 09:11 -0700 1629 simpdata.ML
-rw-r--r-- 2011-08-11 09:11 -0700 14752 upair.thy