/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 Resid
drwxr-xr-x Tools
drwxr-xr-x UNITY
drwxr-xr-x document
drwxr-xr-x ex
-rw-r--r-- 2007-10-04 20:29 +0200 1933 AC.thy
-rw-r--r-- 2007-10-04 20:29 +0200 19826 Arith.thy
-rw-r--r-- 2007-10-04 20:29 +0200 21345 ArithSimp.thy
-rw-r--r-- 2007-10-04 20:29 +0200 21056 Bin.thy
-rw-r--r-- 2007-10-04 20:29 +0200 5570 Bool.thy
-rw-r--r-- 2007-10-04 20:29 +0200 39168 Cardinal.thy
-rw-r--r-- 2007-10-04 20:29 +0200 35665 CardinalArith.thy
-rw-r--r-- 2007-10-04 20:29 +0200 6923 Cardinal_AC.thy
-rw-r--r-- 2007-10-04 20:29 +0200 3591 Datatype.thy
-rw-r--r-- 2007-10-04 20:29 +0200 14063 Epsilon.thy
-rw-r--r-- 2007-10-04 20:29 +0200 8840 EquivClass.thy
-rw-r--r-- 2007-10-04 20:29 +0200 6993 Finite.thy
-rw-r--r-- 2007-10-04 20:29 +0200 10298 Fixedpt.thy
-rw-r--r-- 2007-10-04 20:29 +0200 3500 Inductive.thy
-rw-r--r-- 2007-10-04 20:29 +0200 3923 InfDatatype.thy
-rw-r--r-- 2007-10-04 20:29 +0200 35201 Int.thy
-rw-r--r-- 2007-10-04 20:29 +0200 60 IntArith.thy
-rw-r--r-- 2007-10-04 20:29 +0200 65133 IntDiv.thy
-rw-r--r-- 2007-10-04 20:29 +0200 4676 IsaMakefile
-rw-r--r-- 2007-10-04 20:29 +0200 42632 List.thy
-rw-r--r-- 2007-10-04 20:29 +0200 2291 Main.thy
-rw-r--r-- 2007-10-04 20:29 +0200 52 Main_ZFC.thy
-rw-r--r-- 2007-10-04 20:29 +0200 9645 Nat.thy
-rw-r--r-- 2007-10-04 20:29 +0200 12640 OrdQuant.thy
-rw-r--r-- 2007-10-04 20:29 +0200 24357 Order.thy
-rw-r--r-- 2007-10-04 20:29 +0200 20494 OrderArith.thy
-rw-r--r-- 2007-10-04 20:29 +0200 39431 OrderType.thy
-rw-r--r-- 2007-10-04 20:29 +0200 25897 Ordinal.thy
-rw-r--r-- 2007-10-04 20:29 +0200 18927 Perm.thy
-rw-r--r-- 2007-10-04 20:29 +0200 10142 QPair.thy
-rw-r--r-- 2007-10-04 20:29 +0200 8051 QUniv.thy
-rw-r--r-- 2007-10-04 20:29 +0200 2592 README.html
-rw-r--r-- 2007-10-04 20:29 +0200 395 ROOT.ML
-rw-r--r-- 2007-10-04 20:29 +0200 6006 Sum.thy
-rw-r--r-- 2007-10-04 20:29 +0200 12907 Trancl.thy
-rw-r--r-- 2007-10-04 20:29 +0200 28540 Univ.thy
-rw-r--r-- 2007-10-04 20:29 +0200 13008 WF.thy
-rw-r--r-- 2007-10-04 20:29 +0200 24663 ZF.thy
-rw-r--r-- 2007-10-04 20:29 +0200 14149 Zorn.thy
-rw-r--r-- 2007-10-04 20:29 +0200 8934 arith_data.ML
-rw-r--r-- 2007-10-04 20:29 +0200 36867 equalities.thy
-rw-r--r-- 2007-10-04 20:29 +0200 21655 func.thy
-rw-r--r-- 2007-10-04 20:29 +0200 6411 ind_syntax.ML
-rw-r--r-- 2007-10-04 20:29 +0200 15645 int_arith.ML
-rw-r--r-- 2007-10-04 20:29 +0200 5299 pair.thy
-rw-r--r-- 2007-10-04 20:29 +0200 2358 simpdata.ML
-rw-r--r-- 2007-10-04 20:29 +0200 17456 upair.thy