/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-- 2016-03-26 12:17 +0100 2000 AC.thy
-rw-r--r-- 2016-03-26 12:17 +0100 16814 Arith.thy
-rw-r--r-- 2016-03-26 12:17 +0100 19207 ArithSimp.thy
-rw-r--r-- 2016-03-26 12:17 +0100 23520 Bin.thy
-rw-r--r-- 2016-03-26 12:17 +0100 4319 Bool.thy
-rw-r--r-- 2016-03-26 12:17 +0100 39894 Cardinal.thy
-rw-r--r-- 2016-03-26 12:17 +0100 35438 CardinalArith.thy
-rw-r--r-- 2016-03-26 12:17 +0100 9150 Cardinal_AC.thy
-rw-r--r-- 2016-03-26 12:17 +0100 4032 Datatype_ZF.thy
-rw-r--r-- 2016-03-26 12:17 +0100 12395 Epsilon.thy
-rw-r--r-- 2016-03-26 12:17 +0100 8010 EquivClass.thy
-rw-r--r-- 2016-03-26 12:17 +0100 6694 Finite.thy
-rw-r--r-- 2016-03-26 12:17 +0100 9815 Fixedpt.thy
-rw-r--r-- 2016-03-26 12:17 +0100 3706 Inductive_ZF.thy
-rw-r--r-- 2016-03-26 12:17 +0100 4764 InfDatatype.thy
-rw-r--r-- 2016-03-26 12:17 +0100 60095 IntDiv_ZF.thy
-rw-r--r-- 2016-03-26 12:17 +0100 30551 Int_ZF.thy
-rw-r--r-- 2016-03-26 12:17 +0100 38054 List_ZF.thy
-rw-r--r-- 2016-03-26 12:17 +0100 40 Main.thy
-rw-r--r-- 2016-03-26 12:17 +0100 2232 Main_ZF.thy
-rw-r--r-- 2016-03-26 12:17 +0100 55 Main_ZFC.thy
-rw-r--r-- 2016-03-26 12:17 +0100 8915 Nat_ZF.thy
-rw-r--r-- 2016-03-26 12:17 +0100 12012 OrdQuant.thy
-rw-r--r-- 2016-03-26 12:17 +0100 24648 Order.thy
-rw-r--r-- 2016-03-26 12:17 +0100 19227 OrderArith.thy
-rw-r--r-- 2016-03-26 12:17 +0100 35934 OrderType.thy
-rw-r--r-- 2016-03-26 12:17 +0100 23187 Ordinal.thy
-rw-r--r-- 2016-03-26 12:17 +0100 17625 Perm.thy
-rw-r--r-- 2016-03-26 12:17 +0100 8677 QPair.thy
-rw-r--r-- 2016-03-26 12:17 +0100 6549 QUniv.thy
-rw-r--r-- 2016-03-26 12:17 +0100 8513 ROOT
-rw-r--r-- 2016-03-26 12:17 +0100 5042 Sum.thy
-rw-r--r-- 2016-03-26 12:17 +0100 11462 Trancl.thy
-rw-r--r-- 2016-03-26 12:17 +0100 25373 Univ.thy
-rw-r--r-- 2016-03-26 12:17 +0100 12723 WF.thy
-rw-r--r-- 2016-03-26 12:17 +0100 22915 ZF.thy
-rw-r--r-- 2016-03-26 12:17 +0100 19078 Zorn.thy
-rw-r--r-- 2016-03-26 12:17 +0100 9749 arith_data.ML
-rw-r--r-- 2016-03-26 12:17 +0100 28858 equalities.thy
-rw-r--r-- 2016-03-26 12:17 +0100 19854 func.thy
-rw-r--r-- 2016-03-26 12:17 +0100 4571 ind_syntax.ML
-rw-r--r-- 2016-03-26 12:17 +0100 12219 int_arith.ML
-rw-r--r-- 2016-03-26 12:17 +0100 5344 pair.thy
-rw-r--r-- 2016-03-26 12:17 +0100 1633 simpdata.ML
-rw-r--r-- 2016-03-26 12:17 +0100 18084 upair.thy