/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-- 2005-02-13 17:15 +0100 1922 AC.thy
-rw-r--r-- 2005-02-13 17:15 +0100 19815 Arith.thy
-rw-r--r-- 2005-02-13 17:15 +0100 21346 ArithSimp.thy
-rw-r--r-- 2005-02-13 17:15 +0100 5559 Bool.thy
-rw-r--r-- 2005-02-13 17:15 +0100 39322 Cardinal.thy
-rw-r--r-- 2005-02-13 17:15 +0100 35660 CardinalArith.thy
-rw-r--r-- 2005-02-13 17:15 +0100 6914 Cardinal_AC.thy
-rw-r--r-- 2005-02-13 17:15 +0100 3508 Datatype.ML
-rw-r--r-- 2005-02-13 17:15 +0100 374 Datatype.thy
-rw-r--r-- 2005-02-13 17:15 +0100 14052 Epsilon.thy
-rw-r--r-- 2005-02-13 17:15 +0100 6986 Finite.thy
-rw-r--r-- 2005-02-13 17:15 +0100 10287 Fixedpt.thy
-rw-r--r-- 2005-02-13 17:15 +0100 3214 Inductive.ML
-rw-r--r-- 2005-02-13 17:15 +0100 490 Inductive.thy
-rw-r--r-- 2005-02-13 17:15 +0100 3918 InfDatatype.thy
-rw-r--r-- 2005-02-13 17:15 +0100 4713 IsaMakefile
-rw-r--r-- 2005-02-13 17:15 +0100 42623 List.thy
-rw-r--r-- 2005-02-13 17:15 +0100 134 Main.ML
-rw-r--r-- 2005-02-13 17:15 +0100 2449 Main.thy
-rw-r--r-- 2005-02-13 17:15 +0100 3527 Main_ZFC.ML
-rw-r--r-- 2005-02-13 17:15 +0100 43 Main_ZFC.thy
-rw-r--r-- 2005-02-13 17:15 +0100 9636 Nat.thy
-rw-r--r-- 2005-02-13 17:15 +0100 12561 OrdQuant.thy
-rw-r--r-- 2005-02-13 17:15 +0100 24348 Order.thy
-rw-r--r-- 2005-02-13 17:15 +0100 20487 OrderArith.thy
-rw-r--r-- 2005-02-13 17:15 +0100 39480 OrderType.thy
-rw-r--r-- 2005-02-13 17:15 +0100 26046 Ordinal.thy
-rw-r--r-- 2005-02-13 17:15 +0100 18916 Perm.thy
-rw-r--r-- 2005-02-13 17:15 +0100 10231 QPair.thy
-rw-r--r-- 2005-02-13 17:15 +0100 8042 QUniv.thy
-rw-r--r-- 2005-02-13 17:15 +0100 2494 README.html
-rw-r--r-- 2005-02-13 17:15 +0100 573 ROOT.ML
-rw-r--r-- 2005-02-13 17:15 +0100 5997 Sum.thy
-rw-r--r-- 2005-02-13 17:15 +0100 12898 Trancl.thy
-rw-r--r-- 2005-02-13 17:15 +0100 28531 Univ.thy
-rw-r--r-- 2005-02-13 17:15 +0100 12997 WF.thy
-rw-r--r-- 2005-02-13 17:15 +0100 25396 ZF.thy
-rw-r--r-- 2005-02-13 17:15 +0100 14142 Zorn.thy
-rw-r--r-- 2005-02-13 17:15 +0100 8856 arith_data.ML
-rw-r--r-- 2005-02-13 17:15 +0100 36856 equalities.thy
-rw-r--r-- 2005-02-13 17:15 +0100 21646 func.thy
-rw-r--r-- 2005-02-13 17:15 +0100 6475 ind_syntax.ML
-rw-r--r-- 2005-02-13 17:15 +0100 5284 pair.thy
-rw-r--r-- 2005-02-13 17:15 +0100 2367 simpdata.ML
-rw-r--r-- 2005-02-13 17:15 +0100 6465 thy_syntax.ML
-rw-r--r-- 2005-02-13 17:15 +0100 17446 upair.thy