/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-04-25 11:09 +0200 1975 AC.thy
-rw-r--r-- 2014-04-25 11:09 +0200 16749 Arith.thy
-rw-r--r-- 2014-04-25 11:09 +0200 19019 ArithSimp.thy
-rw-r--r-- 2014-04-25 11:09 +0200 17732 Bin.thy
-rw-r--r-- 2014-04-25 11:09 +0200 4266 Bool.thy
-rw-r--r-- 2014-04-25 11:09 +0200 39805 Cardinal.thy
-rw-r--r-- 2014-04-25 11:09 +0200 35184 CardinalArith.thy
-rw-r--r-- 2014-04-25 11:09 +0200 9009 Cardinal_AC.thy
-rw-r--r-- 2014-04-25 11:09 +0200 3901 Datatype_ZF.thy
-rw-r--r-- 2014-04-25 11:09 +0200 12319 Epsilon.thy
-rw-r--r-- 2014-04-25 11:09 +0200 7946 EquivClass.thy
-rw-r--r-- 2014-04-25 11:09 +0200 6651 Finite.thy
-rw-r--r-- 2014-04-25 11:09 +0200 9737 Fixedpt.thy
-rw-r--r-- 2014-04-25 11:09 +0200 3733 Inductive_ZF.thy
-rw-r--r-- 2014-04-25 11:09 +0200 4736 InfDatatype.thy
-rw-r--r-- 2014-04-25 11:09 +0200 2666 IntArith.thy
-rw-r--r-- 2014-04-25 11:09 +0200 59392 IntDiv_ZF.thy
-rw-r--r-- 2014-04-25 11:09 +0200 30259 Int_ZF.thy
-rw-r--r-- 2014-04-25 11:09 +0200 37980 List_ZF.thy
-rw-r--r-- 2014-04-25 11:09 +0200 40 Main.thy
-rw-r--r-- 2014-04-25 11:09 +0200 2278 Main_ZF.thy
-rw-r--r-- 2014-04-25 11:09 +0200 55 Main_ZFC.thy
-rw-r--r-- 2014-04-25 11:09 +0200 8827 Nat_ZF.thy
-rw-r--r-- 2014-04-25 11:09 +0200 12332 OrdQuant.thy
-rw-r--r-- 2014-04-25 11:09 +0200 24479 Order.thy
-rw-r--r-- 2014-04-25 11:09 +0200 18823 OrderArith.thy
-rw-r--r-- 2014-04-25 11:09 +0200 35706 OrderType.thy
-rw-r--r-- 2014-04-25 11:09 +0200 22945 Ordinal.thy
-rw-r--r-- 2014-04-25 11:09 +0200 17227 Perm.thy
-rw-r--r-- 2014-04-25 11:09 +0200 8555 QPair.thy
-rw-r--r-- 2014-04-25 11:09 +0200 6449 QUniv.thy
-rw-r--r-- 2014-04-25 11:09 +0200 8548 ROOT
-rw-r--r-- 2014-04-25 11:09 +0200 4977 Sum.thy
-rw-r--r-- 2014-04-25 11:09 +0200 11374 Trancl.thy
-rw-r--r-- 2014-04-25 11:09 +0200 24830 Univ.thy
-rw-r--r-- 2014-04-25 11:09 +0200 12470 WF.thy
-rw-r--r-- 2014-04-25 11:09 +0200 22541 ZF.thy
-rw-r--r-- 2014-04-25 11:09 +0200 18449 Zorn.thy
-rw-r--r-- 2014-04-25 11:09 +0200 9463 arith_data.ML
-rw-r--r-- 2014-04-25 11:09 +0200 28726 equalities.thy
-rw-r--r-- 2014-04-25 11:09 +0200 19680 func.thy
-rw-r--r-- 2014-04-25 11:09 +0200 4554 ind_syntax.ML
-rw-r--r-- 2014-04-25 11:09 +0200 14110 int_arith.ML
-rw-r--r-- 2014-04-25 11:09 +0200 5193 pair.thy
-rw-r--r-- 2014-04-25 11:09 +0200 1629 simpdata.ML
-rw-r--r-- 2014-04-25 11:09 +0200 17880 upair.thy