/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-- 2010-02-11 22:06 +0100 1952 AC.thy
-rw-r--r-- 2010-02-11 22:06 +0100 16595 Arith.thy
-rw-r--r-- 2010-02-11 22:06 +0100 18341 ArithSimp.thy
-rw-r--r-- 2010-02-11 22:06 +0100 17219 Bin.thy
-rw-r--r-- 2010-02-11 22:06 +0100 5517 Bool.thy
-rw-r--r-- 2010-02-11 22:06 +0100 39271 Cardinal.thy
-rw-r--r-- 2010-02-11 22:06 +0100 35670 CardinalArith.thy
-rw-r--r-- 2010-02-11 22:06 +0100 6923 Cardinal_AC.thy
-rw-r--r-- 2010-02-11 22:06 +0100 3730 Datatype_ZF.thy
-rw-r--r-- 2010-02-11 22:06 +0100 14164 Epsilon.thy
-rw-r--r-- 2010-02-11 22:06 +0100 7533 EquivClass.thy
-rw-r--r-- 2010-02-11 22:06 +0100 6169 Finite.thy
-rw-r--r-- 2010-02-11 22:06 +0100 9106 Fixedpt.thy
-rw-r--r-- 2010-02-11 22:06 +0100 3637 Inductive_ZF.thy
-rw-r--r-- 2010-02-11 22:06 +0100 3912 InfDatatype.thy
-rw-r--r-- 2010-02-11 22:06 +0100 2553 IntArith.thy
-rw-r--r-- 2010-02-11 22:06 +0100 59098 IntDiv_ZF.thy
-rw-r--r-- 2010-02-11 22:06 +0100 29413 Int_ZF.thy
-rw-r--r-- 2010-02-11 22:06 +0100 4663 IsaMakefile
-rw-r--r-- 2010-02-11 22:06 +0100 36366 List_ZF.thy
-rw-r--r-- 2010-02-11 22:06 +0100 52 Main.thy
-rw-r--r-- 2010-02-11 22:06 +0100 2282 Main_ZF.thy
-rw-r--r-- 2010-02-11 22:06 +0100 67 Main_ZFC.thy
-rw-r--r-- 2010-02-11 22:06 +0100 8415 Nat_ZF.thy
-rw-r--r-- 2010-02-11 22:06 +0100 11950 OrdQuant.thy
-rw-r--r-- 2010-02-11 22:06 +0100 23402 Order.thy
-rw-r--r-- 2010-02-11 22:06 +0100 18349 OrderArith.thy
-rw-r--r-- 2010-02-11 22:06 +0100 34977 OrderType.thy
-rw-r--r-- 2010-02-11 22:06 +0100 21317 Ordinal.thy
-rw-r--r-- 2010-02-11 22:06 +0100 15847 Perm.thy
-rw-r--r-- 2010-02-11 22:06 +0100 8102 QPair.thy
-rw-r--r-- 2010-02-11 22:06 +0100 6233 QUniv.thy
-rw-r--r-- 2010-02-11 22:06 +0100 2592 README.html
-rw-r--r-- 2010-02-11 22:06 +0100 351 ROOT.ML
-rw-r--r-- 2010-02-11 22:06 +0100 4574 Sum.thy
-rw-r--r-- 2010-02-11 22:06 +0100 11100 Trancl.thy
-rw-r--r-- 2010-02-11 22:06 +0100 24290 Univ.thy
-rw-r--r-- 2010-02-11 22:06 +0100 11661 WF.thy
-rw-r--r-- 2010-02-11 22:06 +0100 22260 ZF.thy
-rw-r--r-- 2010-02-11 22:06 +0100 17859 Zorn.thy
-rw-r--r-- 2010-02-11 22:06 +0100 9082 arith_data.ML
-rw-r--r-- 2010-02-11 22:06 +0100 26830 equalities.thy
-rw-r--r-- 2010-02-11 22:06 +0100 18251 func.thy
-rw-r--r-- 2010-02-11 22:06 +0100 4560 ind_syntax.ML
-rw-r--r-- 2010-02-11 22:06 +0100 13761 int_arith.ML
-rw-r--r-- 2010-02-11 22:06 +0100 4199 pair.thy
-rw-r--r-- 2010-02-11 22:06 +0100 2401 simpdata.ML
-rw-r--r-- 2010-02-11 22:06 +0100 14752 upair.thy