/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-- 2018-08-15 16:15 +0200 1995 AC.thy
-rw-r--r-- 2018-08-15 16:15 +0200 16814 Arith.thy
-rw-r--r-- 2018-08-15 16:15 +0200 19199 ArithSimp.thy
-rw-r--r-- 2018-08-15 16:15 +0200 23528 Bin.thy
-rw-r--r-- 2018-08-15 16:15 +0200 4319 Bool.thy
-rw-r--r-- 2018-08-15 16:15 +0200 39894 Cardinal.thy
-rw-r--r-- 2018-08-15 16:15 +0200 35447 CardinalArith.thy
-rw-r--r-- 2018-08-15 16:15 +0200 9151 Cardinal_AC.thy
-rw-r--r-- 2018-08-15 16:15 +0200 4006 Datatype.thy
-rw-r--r-- 2018-08-15 16:15 +0200 12399 Epsilon.thy
-rw-r--r-- 2018-08-15 16:15 +0200 8011 EquivClass.thy
-rw-r--r-- 2018-08-15 16:15 +0200 6688 Finite.thy
-rw-r--r-- 2018-08-15 16:15 +0200 9815 Fixedpt.thy
-rw-r--r-- 2018-08-15 16:15 +0200 3716 Inductive.thy
-rw-r--r-- 2018-08-15 16:15 +0200 4761 InfDatatype.thy
-rw-r--r-- 2018-08-15 16:15 +0200 30540 Int.thy
-rw-r--r-- 2018-08-15 16:15 +0200 60081 IntDiv.thy
-rw-r--r-- 2018-08-15 16:15 +0200 38046 List.thy
-rw-r--r-- 2018-08-15 16:15 +0200 8909 Nat.thy
-rw-r--r-- 2018-08-15 16:15 +0200 12012 OrdQuant.thy
-rw-r--r-- 2018-08-15 16:15 +0200 24653 Order.thy
-rw-r--r-- 2018-08-15 16:15 +0200 19228 OrderArith.thy
-rw-r--r-- 2018-08-15 16:15 +0200 35963 OrderType.thy
-rw-r--r-- 2018-08-15 16:15 +0200 23187 Ordinal.thy
-rw-r--r-- 2018-08-15 16:15 +0200 17630 Perm.thy
-rw-r--r-- 2018-08-15 16:15 +0200 8677 QPair.thy
-rw-r--r-- 2018-08-15 16:15 +0200 6556 QUniv.thy
-rw-r--r-- 2018-08-15 16:15 +0200 8388 ROOT
-rw-r--r-- 2018-08-15 16:15 +0200 5042 Sum.thy
-rw-r--r-- 2018-08-15 16:15 +0200 11462 Trancl.thy
-rw-r--r-- 2018-08-15 16:15 +0200 25373 Univ.thy
-rw-r--r-- 2018-08-15 16:15 +0200 12724 WF.thy
-rw-r--r-- 2018-08-15 16:15 +0200 2224 ZF.thy
-rw-r--r-- 2018-08-15 16:15 +0200 45 ZFC.thy
-rw-r--r-- 2018-08-15 16:15 +0200 22931 ZF_Base.thy
-rw-r--r-- 2018-08-15 16:15 +0200 19076 Zorn.thy
-rw-r--r-- 2018-08-15 16:15 +0200 9698 arith_data.ML
-rw-r--r-- 2018-08-15 16:15 +0200 28858 equalities.thy
-rw-r--r-- 2018-08-15 16:15 +0200 19866 func.thy
-rw-r--r-- 2018-08-15 16:15 +0200 4571 ind_syntax.ML
-rw-r--r-- 2018-08-15 16:15 +0200 12134 int_arith.ML
-rw-r--r-- 2018-08-15 16:15 +0200 5344 pair.thy
-rw-r--r-- 2018-08-15 16:15 +0200 1633 simpdata.ML
-rw-r--r-- 2018-08-15 16:15 +0200 18120 upair.thy