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