/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-- 2014-11-09 17:04 +0100 1976 AC.thy
-rw-r--r-- 2014-11-09 17:04 +0100 16747 Arith.thy
-rw-r--r-- 2014-11-09 17:04 +0100 19020 ArithSimp.thy
-rw-r--r-- 2014-11-09 17:04 +0100 20836 Bin.thy
-rw-r--r-- 2014-11-09 17:04 +0100 4267 Bool.thy
-rw-r--r-- 2014-11-09 17:04 +0100 39806 Cardinal.thy
-rw-r--r-- 2014-11-09 17:04 +0100 35185 CardinalArith.thy
-rw-r--r-- 2014-11-09 17:04 +0100 9010 Cardinal_AC.thy
-rw-r--r-- 2014-11-09 17:04 +0100 3910 Datatype_ZF.thy
-rw-r--r-- 2014-11-09 17:04 +0100 12318 Epsilon.thy
-rw-r--r-- 2014-11-09 17:04 +0100 7947 EquivClass.thy
-rw-r--r-- 2014-11-09 17:04 +0100 6652 Finite.thy
-rw-r--r-- 2014-11-09 17:04 +0100 9738 Fixedpt.thy
-rw-r--r-- 2014-11-09 17:04 +0100 3684 Inductive_ZF.thy
-rw-r--r-- 2014-11-09 17:04 +0100 4737 InfDatatype.thy
-rw-r--r-- 2014-11-09 17:04 +0100 59388 IntDiv_ZF.thy
-rw-r--r-- 2014-11-09 17:04 +0100 30301 Int_ZF.thy
-rw-r--r-- 2014-11-09 17:04 +0100 37980 List_ZF.thy
-rw-r--r-- 2014-11-09 17:04 +0100 40 Main.thy
-rw-r--r-- 2014-11-09 17:04 +0100 2279 Main_ZF.thy
-rw-r--r-- 2014-11-09 17:04 +0100 55 Main_ZFC.thy
-rw-r--r-- 2014-11-09 17:04 +0100 8827 Nat_ZF.thy
-rw-r--r-- 2014-11-09 17:04 +0100 12332 OrdQuant.thy
-rw-r--r-- 2014-11-09 17:04 +0100 24480 Order.thy
-rw-r--r-- 2014-11-09 17:04 +0100 18824 OrderArith.thy
-rw-r--r-- 2014-11-09 17:04 +0100 35707 OrderType.thy
-rw-r--r-- 2014-11-09 17:04 +0100 22946 Ordinal.thy
-rw-r--r-- 2014-11-09 17:04 +0100 17228 Perm.thy
-rw-r--r-- 2014-11-09 17:04 +0100 8556 QPair.thy
-rw-r--r-- 2014-11-09 17:04 +0100 6450 QUniv.thy
-rw-r--r-- 2014-11-09 17:04 +0100 8540 ROOT
-rw-r--r-- 2014-11-09 17:04 +0100 4976 Sum.thy
-rw-r--r-- 2014-11-09 17:04 +0100 11374 Trancl.thy
-rw-r--r-- 2014-11-09 17:04 +0100 24830 Univ.thy
-rw-r--r-- 2014-11-09 17:04 +0100 12471 WF.thy
-rw-r--r-- 2014-11-09 17:04 +0100 22542 ZF.thy
-rw-r--r-- 2014-11-09 17:04 +0100 18450 Zorn.thy
-rw-r--r-- 2014-11-09 17:04 +0100 9470 arith_data.ML
-rw-r--r-- 2014-11-09 17:04 +0100 28725 equalities.thy
-rw-r--r-- 2014-11-09 17:04 +0100 19679 func.thy
-rw-r--r-- 2014-11-09 17:04 +0100 4554 ind_syntax.ML
-rw-r--r-- 2014-11-09 17:04 +0100 14116 int_arith.ML
-rw-r--r-- 2014-11-09 17:04 +0100 5194 pair.thy
-rw-r--r-- 2014-11-09 17:04 +0100 1629 simpdata.ML
-rw-r--r-- 2014-11-09 17:04 +0100 17859 upair.thy