/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-- 2003-06-25 13:17 +0200 1920 AC.thy
-rw-r--r-- 2003-06-25 13:17 +0200 19703 Arith.thy
-rw-r--r-- 2003-06-25 13:17 +0200 21236 ArithSimp.thy
-rw-r--r-- 2003-06-25 13:17 +0200 5559 Bool.thy
-rw-r--r-- 2003-06-25 13:17 +0200 38810 Cardinal.thy
-rw-r--r-- 2003-06-25 13:17 +0200 34570 CardinalArith.thy
-rw-r--r-- 2003-06-25 13:17 +0200 6914 Cardinal_AC.thy
-rw-r--r-- 2003-06-25 13:17 +0200 3524 Datatype.ML
-rw-r--r-- 2003-06-25 13:17 +0200 374 Datatype.thy
-rw-r--r-- 2003-06-25 13:17 +0200 14070 Epsilon.thy
-rw-r--r-- 2003-06-25 13:17 +0200 6824 Finite.thy
-rw-r--r-- 2003-06-25 13:17 +0200 10287 Fixedpt.thy
-rw-r--r-- 2003-06-25 13:17 +0200 3214 Inductive.ML
-rw-r--r-- 2003-06-25 13:17 +0200 490 Inductive.thy
-rw-r--r-- 2003-06-25 13:17 +0200 3918 InfDatatype.thy
-rw-r--r-- 2003-06-25 13:17 +0200 4878 IsaMakefile
-rw-r--r-- 2003-06-25 13:17 +0200 42447 List.thy
-rw-r--r-- 2003-06-25 13:17 +0200 134 Main.ML
-rw-r--r-- 2003-06-25 13:17 +0200 2354 Main.thy
-rw-r--r-- 2003-06-25 13:17 +0200 3527 Main_ZFC.ML
-rw-r--r-- 2003-06-25 13:17 +0200 43 Main_ZFC.thy
-rw-r--r-- 2003-06-25 13:17 +0200 9751 Nat.thy
-rw-r--r-- 2003-06-25 13:17 +0200 12158 OrdQuant.thy
-rw-r--r-- 2003-06-25 13:17 +0200 24348 Order.thy
-rw-r--r-- 2003-06-25 13:17 +0200 19686 OrderArith.thy
-rw-r--r-- 2003-06-25 13:17 +0200 39444 OrderType.thy
-rw-r--r-- 2003-06-25 13:17 +0200 25954 Ordinal.thy
-rw-r--r-- 2003-06-25 13:17 +0200 18818 Perm.thy
-rw-r--r-- 2003-06-25 13:17 +0200 10234 QPair.thy
-rw-r--r-- 2003-06-25 13:17 +0200 8042 QUniv.thy
-rw-r--r-- 2003-06-25 13:17 +0200 2389 README.html
-rw-r--r-- 2003-06-25 13:17 +0200 669 ROOT.ML
-rw-r--r-- 2003-06-25 13:17 +0200 5997 Sum.thy
-rw-r--r-- 2003-06-25 13:17 +0200 12897 Trancl.thy
-rw-r--r-- 2003-06-25 13:17 +0200 28378 Univ.thy
-rw-r--r-- 2003-06-25 13:17 +0200 12997 WF.thy
-rw-r--r-- 2003-06-25 13:17 +0200 22895 ZF.thy
-rw-r--r-- 2003-06-25 13:17 +0200 14135 Zorn.thy
-rw-r--r-- 2003-06-25 13:17 +0200 8842 arith_data.ML
-rw-r--r-- 2003-06-25 13:17 +0200 34989 equalities.thy
-rw-r--r-- 2003-06-25 13:17 +0200 21509 func.thy
-rw-r--r-- 2003-06-25 13:17 +0200 6475 ind_syntax.ML
-rw-r--r-- 2003-06-25 13:17 +0200 4939 pair.thy
-rw-r--r-- 2003-06-25 13:17 +0200 2335 simpdata.ML
-rw-r--r-- 2003-06-25 13:17 +0200 6449 thy_syntax.ML
-rw-r--r-- 2003-06-25 13:17 +0200 17494 upair.thy