/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-- 2015-10-10 22:19 +0200 1998 AC.thy
-rw-r--r-- 2015-10-10 22:19 +0200 16792 Arith.thy
-rw-r--r-- 2015-10-10 22:19 +0200 19202 ArithSimp.thy
-rw-r--r-- 2015-10-10 22:19 +0200 23513 Bin.thy
-rw-r--r-- 2015-10-10 22:19 +0200 4319 Bool.thy
-rw-r--r-- 2015-10-10 22:19 +0200 39856 Cardinal.thy
-rw-r--r-- 2015-10-10 22:19 +0200 35483 CardinalArith.thy
-rw-r--r-- 2015-10-10 22:19 +0200 9140 Cardinal_AC.thy
-rw-r--r-- 2015-10-10 22:19 +0200 4032 Datatype_ZF.thy
-rw-r--r-- 2015-10-10 22:19 +0200 12395 Epsilon.thy
-rw-r--r-- 2015-10-10 22:19 +0200 8002 EquivClass.thy
-rw-r--r-- 2015-10-10 22:19 +0200 6694 Finite.thy
-rw-r--r-- 2015-10-10 22:19 +0200 9815 Fixedpt.thy
-rw-r--r-- 2015-10-10 22:19 +0200 3706 Inductive_ZF.thy
-rw-r--r-- 2015-10-10 22:19 +0200 4759 InfDatatype.thy
-rw-r--r-- 2015-10-10 22:19 +0200 60085 IntDiv_ZF.thy
-rw-r--r-- 2015-10-10 22:19 +0200 30513 Int_ZF.thy
-rw-r--r-- 2015-10-10 22:19 +0200 38046 List_ZF.thy
-rw-r--r-- 2015-10-10 22:19 +0200 40 Main.thy
-rw-r--r-- 2015-10-10 22:19 +0200 2277 Main_ZF.thy
-rw-r--r-- 2015-10-10 22:19 +0200 55 Main_ZFC.thy
-rw-r--r-- 2015-10-10 22:19 +0200 8915 Nat_ZF.thy
-rw-r--r-- 2015-10-10 22:19 +0200 12148 OrdQuant.thy
-rw-r--r-- 2015-10-10 22:19 +0200 24642 Order.thy
-rw-r--r-- 2015-10-10 22:19 +0200 19197 OrderArith.thy
-rw-r--r-- 2015-10-10 22:19 +0200 36024 OrderType.thy
-rw-r--r-- 2015-10-10 22:19 +0200 23193 Ordinal.thy
-rw-r--r-- 2015-10-10 22:19 +0200 17625 Perm.thy
-rw-r--r-- 2015-10-10 22:19 +0200 8677 QPair.thy
-rw-r--r-- 2015-10-10 22:19 +0200 6549 QUniv.thy
-rw-r--r-- 2015-10-10 22:19 +0200 8513 ROOT
-rw-r--r-- 2015-10-10 22:19 +0200 5042 Sum.thy
-rw-r--r-- 2015-10-10 22:19 +0200 11462 Trancl.thy
-rw-r--r-- 2015-10-10 22:19 +0200 25363 Univ.thy
-rw-r--r-- 2015-10-10 22:19 +0200 12708 WF.thy
-rw-r--r-- 2015-10-10 22:19 +0200 21734 ZF.thy
-rw-r--r-- 2015-10-10 22:19 +0200 19041 Zorn.thy
-rw-r--r-- 2015-10-10 22:19 +0200 9749 arith_data.ML
-rw-r--r-- 2015-10-10 22:19 +0200 28911 equalities.thy
-rw-r--r-- 2015-10-10 22:19 +0200 19854 func.thy
-rw-r--r-- 2015-10-10 22:19 +0200 4571 ind_syntax.ML
-rw-r--r-- 2015-10-10 22:19 +0200 12219 int_arith.ML
-rw-r--r-- 2015-10-10 22:19 +0200 5344 pair.thy
-rw-r--r-- 2015-10-10 22:19 +0200 1633 simpdata.ML
-rw-r--r-- 2015-10-10 22:19 +0200 18079 upair.thy