/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-- 2004-09-17 16:08 +0200 1922 AC.thy
-rw-r--r-- 2004-09-17 16:08 +0200 19815 Arith.thy
-rw-r--r-- 2004-09-17 16:08 +0200 21236 ArithSimp.thy
-rw-r--r-- 2004-09-17 16:08 +0200 5559 Bool.thy
-rw-r--r-- 2004-09-17 16:08 +0200 39322 Cardinal.thy
-rw-r--r-- 2004-09-17 16:08 +0200 35660 CardinalArith.thy
-rw-r--r-- 2004-09-17 16:08 +0200 6914 Cardinal_AC.thy
-rw-r--r-- 2004-09-17 16:08 +0200 3524 Datatype.ML
-rw-r--r-- 2004-09-17 16:08 +0200 374 Datatype.thy
-rw-r--r-- 2004-09-17 16:08 +0200 14048 Epsilon.thy
-rw-r--r-- 2004-09-17 16:08 +0200 6986 Finite.thy
-rw-r--r-- 2004-09-17 16:08 +0200 10287 Fixedpt.thy
-rw-r--r-- 2004-09-17 16:08 +0200 3214 Inductive.ML
-rw-r--r-- 2004-09-17 16:08 +0200 490 Inductive.thy
-rw-r--r-- 2004-09-17 16:08 +0200 3918 InfDatatype.thy
-rw-r--r-- 2004-09-17 16:08 +0200 4737 IsaMakefile
-rw-r--r-- 2004-09-17 16:08 +0200 42623 List.thy
-rw-r--r-- 2004-09-17 16:08 +0200 134 Main.ML
-rw-r--r-- 2004-09-17 16:08 +0200 2449 Main.thy
-rw-r--r-- 2004-09-17 16:08 +0200 3527 Main_ZFC.ML
-rw-r--r-- 2004-09-17 16:08 +0200 43 Main_ZFC.thy
-rw-r--r-- 2004-09-17 16:08 +0200 9636 Nat.thy
-rw-r--r-- 2004-09-17 16:08 +0200 12561 OrdQuant.thy
-rw-r--r-- 2004-09-17 16:08 +0200 24348 Order.thy
-rw-r--r-- 2004-09-17 16:08 +0200 20487 OrderArith.thy
-rw-r--r-- 2004-09-17 16:08 +0200 39480 OrderType.thy
-rw-r--r-- 2004-09-17 16:08 +0200 26046 Ordinal.thy
-rw-r--r-- 2004-09-17 16:08 +0200 18916 Perm.thy
-rw-r--r-- 2004-09-17 16:08 +0200 10231 QPair.thy
-rw-r--r-- 2004-09-17 16:08 +0200 8042 QUniv.thy
-rw-r--r-- 2004-09-17 16:08 +0200 2389 README.html
-rw-r--r-- 2004-09-17 16:08 +0200 669 ROOT.ML
-rw-r--r-- 2004-09-17 16:08 +0200 5997 Sum.thy
-rw-r--r-- 2004-09-17 16:08 +0200 12898 Trancl.thy
-rw-r--r-- 2004-09-17 16:08 +0200 28378 Univ.thy
-rw-r--r-- 2004-09-17 16:08 +0200 12997 WF.thy
-rw-r--r-- 2004-09-17 16:08 +0200 25364 ZF.thy
-rw-r--r-- 2004-09-17 16:08 +0200 14142 Zorn.thy
-rw-r--r-- 2004-09-17 16:08 +0200 8856 arith_data.ML
-rw-r--r-- 2004-09-17 16:08 +0200 36856 equalities.thy
-rw-r--r-- 2004-09-17 16:08 +0200 21646 func.thy
-rw-r--r-- 2004-09-17 16:08 +0200 6475 ind_syntax.ML
-rw-r--r-- 2004-09-17 16:08 +0200 5284 pair.thy
-rw-r--r-- 2004-09-17 16:08 +0200 2367 simpdata.ML
-rw-r--r-- 2004-09-17 16:08 +0200 6465 thy_syntax.ML
-rw-r--r-- 2004-09-17 16:08 +0200 17446 upair.thy