/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 Integ
drwxr-xr-x Resid
drwxr-xr-x Tools
drwxr-xr-x UNITY
drwxr-xr-x document
drwxr-xr-x ex
-rw-r--r-- 2006-11-17 02:20 +0100 1933 AC.thy
-rw-r--r-- 2006-11-17 02:20 +0100 19826 Arith.thy
-rw-r--r-- 2006-11-17 02:20 +0100 21345 ArithSimp.thy
-rw-r--r-- 2006-11-17 02:20 +0100 5570 Bool.thy
-rw-r--r-- 2006-11-17 02:20 +0100 39327 Cardinal.thy
-rw-r--r-- 2006-11-17 02:20 +0100 35665 CardinalArith.thy
-rw-r--r-- 2006-11-17 02:20 +0100 6923 Cardinal_AC.thy
-rw-r--r-- 2006-11-17 02:20 +0100 3491 Datatype.ML
-rw-r--r-- 2006-11-17 02:20 +0100 380 Datatype.thy
-rw-r--r-- 2006-11-17 02:20 +0100 14063 Epsilon.thy
-rw-r--r-- 2006-11-17 02:20 +0100 6993 Finite.thy
-rw-r--r-- 2006-11-17 02:20 +0100 10298 Fixedpt.thy
-rw-r--r-- 2006-11-17 02:20 +0100 3214 Inductive.ML
-rw-r--r-- 2006-11-17 02:20 +0100 498 Inductive.thy
-rw-r--r-- 2006-11-17 02:20 +0100 3923 InfDatatype.thy
-rw-r--r-- 2006-11-17 02:20 +0100 4783 IsaMakefile
-rw-r--r-- 2006-11-17 02:20 +0100 42632 List.thy
-rw-r--r-- 2006-11-17 02:20 +0100 70 Main.ML
-rw-r--r-- 2006-11-17 02:20 +0100 2367 Main.thy
-rw-r--r-- 2006-11-17 02:20 +0100 3527 Main_ZFC.ML
-rw-r--r-- 2006-11-17 02:20 +0100 52 Main_ZFC.thy
-rw-r--r-- 2006-11-17 02:20 +0100 9645 Nat.thy
-rw-r--r-- 2006-11-17 02:20 +0100 12640 OrdQuant.thy
-rw-r--r-- 2006-11-17 02:20 +0100 24357 Order.thy
-rw-r--r-- 2006-11-17 02:20 +0100 20494 OrderArith.thy
-rw-r--r-- 2006-11-17 02:20 +0100 39487 OrderType.thy
-rw-r--r-- 2006-11-17 02:20 +0100 26053 Ordinal.thy
-rw-r--r-- 2006-11-17 02:20 +0100 18927 Perm.thy
-rw-r--r-- 2006-11-17 02:20 +0100 10240 QPair.thy
-rw-r--r-- 2006-11-17 02:20 +0100 8051 QUniv.thy
-rw-r--r-- 2006-11-17 02:20 +0100 2592 README.html
-rw-r--r-- 2006-11-17 02:20 +0100 481 ROOT.ML
-rw-r--r-- 2006-11-17 02:20 +0100 6006 Sum.thy
-rw-r--r-- 2006-11-17 02:20 +0100 12907 Trancl.thy
-rw-r--r-- 2006-11-17 02:20 +0100 28540 Univ.thy
-rw-r--r-- 2006-11-17 02:20 +0100 13008 WF.thy
-rw-r--r-- 2006-11-17 02:20 +0100 25230 ZF.thy
-rw-r--r-- 2006-11-17 02:20 +0100 14149 Zorn.thy
-rw-r--r-- 2006-11-17 02:20 +0100 8959 arith_data.ML
-rw-r--r-- 2006-11-17 02:20 +0100 36867 equalities.thy
-rw-r--r-- 2006-11-17 02:20 +0100 21655 func.thy
-rw-r--r-- 2006-11-17 02:20 +0100 6308 ind_syntax.ML
-rw-r--r-- 2006-11-17 02:20 +0100 5299 pair.thy
-rw-r--r-- 2006-11-17 02:20 +0100 2326 simpdata.ML
-rw-r--r-- 2006-11-17 02:20 +0100 17456 upair.thy