/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-- 2017-11-23 17:03 +0000 1995 AC.thy
-rw-r--r-- 2017-11-23 17:03 +0000 16814 Arith.thy
-rw-r--r-- 2017-11-23 17:03 +0000 19199 ArithSimp.thy
-rw-r--r-- 2017-11-23 17:03 +0000 23520 Bin.thy
-rw-r--r-- 2017-11-23 17:03 +0000 4319 Bool.thy
-rw-r--r-- 2017-11-23 17:03 +0000 39894 Cardinal.thy
-rw-r--r-- 2017-11-23 17:03 +0000 35445 CardinalArith.thy
-rw-r--r-- 2017-11-23 17:03 +0000 9150 Cardinal_AC.thy
-rw-r--r-- 2017-11-23 17:03 +0000 4015 Datatype_ZF.thy
-rw-r--r-- 2017-11-23 17:03 +0000 12402 Epsilon.thy
-rw-r--r-- 2017-11-23 17:03 +0000 8010 EquivClass.thy
-rw-r--r-- 2017-11-23 17:03 +0000 6694 Finite.thy
-rw-r--r-- 2017-11-23 17:03 +0000 9815 Fixedpt.thy
-rw-r--r-- 2017-11-23 17:03 +0000 3725 Inductive_ZF.thy
-rw-r--r-- 2017-11-23 17:03 +0000 4764 InfDatatype.thy
-rw-r--r-- 2017-11-23 17:03 +0000 60087 IntDiv_ZF.thy
-rw-r--r-- 2017-11-23 17:03 +0000 30543 Int_ZF.thy
-rw-r--r-- 2017-11-23 17:03 +0000 38054 List_ZF.thy
-rw-r--r-- 2017-11-23 17:03 +0000 8915 Nat_ZF.thy
-rw-r--r-- 2017-11-23 17:03 +0000 12012 OrdQuant.thy
-rw-r--r-- 2017-11-23 17:03 +0000 24654 Order.thy
-rw-r--r-- 2017-11-23 17:03 +0000 19227 OrderArith.thy
-rw-r--r-- 2017-11-23 17:03 +0000 35966 OrderType.thy
-rw-r--r-- 2017-11-23 17:03 +0000 23187 Ordinal.thy
-rw-r--r-- 2017-11-23 17:03 +0000 17631 Perm.thy
-rw-r--r-- 2017-11-23 17:03 +0000 8677 QPair.thy
-rw-r--r-- 2017-11-23 17:03 +0000 6556 QUniv.thy
-rw-r--r-- 2017-11-23 17:03 +0000 8388 ROOT
-rw-r--r-- 2017-11-23 17:03 +0000 5042 Sum.thy
-rw-r--r-- 2017-11-23 17:03 +0000 11462 Trancl.thy
-rw-r--r-- 2017-11-23 17:03 +0000 25373 Univ.thy
-rw-r--r-- 2017-11-23 17:03 +0000 12723 WF.thy
-rw-r--r-- 2017-11-23 17:03 +0000 2230 ZF.thy
-rw-r--r-- 2017-11-23 17:03 +0000 45 ZFC.thy
-rw-r--r-- 2017-11-23 17:03 +0000 22929 ZF_Base.thy
-rw-r--r-- 2017-11-23 17:03 +0000 19078 Zorn.thy
-rw-r--r-- 2017-11-23 17:03 +0000 9698 arith_data.ML
-rw-r--r-- 2017-11-23 17:03 +0000 28858 equalities.thy
-rw-r--r-- 2017-11-23 17:03 +0000 19866 func.thy
-rw-r--r-- 2017-11-23 17:03 +0000 4571 ind_syntax.ML
-rw-r--r-- 2017-11-23 17:03 +0000 12134 int_arith.ML
-rw-r--r-- 2017-11-23 17:03 +0000 5344 pair.thy
-rw-r--r-- 2017-11-23 17:03 +0000 1633 simpdata.ML
-rw-r--r-- 2017-11-23 17:03 +0000 18120 upair.thy