/src/ZF/ default tip
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-- 2021-05-06 23:28 +0200 1995 AC.thy
-rw-r--r-- 2021-05-06 23:28 +0200 16907 Arith.thy
-rw-r--r-- 2021-05-06 23:28 +0200 19280 ArithSimp.thy
-rw-r--r-- 2021-05-06 23:28 +0200 23757 Bin.thy
-rw-r--r-- 2021-05-06 23:28 +0200 4384 Bool.thy
-rw-r--r-- 2021-05-06 23:28 +0200 40144 Cardinal.thy
-rw-r--r-- 2021-05-06 23:28 +0200 35528 CardinalArith.thy
-rw-r--r-- 2021-05-06 23:28 +0200 9239 Cardinal_AC.thy
-rw-r--r-- 2021-05-06 23:28 +0200 4103 Datatype.thy
-rw-r--r-- 2021-05-06 23:28 +0200 12414 Epsilon.thy
-rw-r--r-- 2021-05-06 23:28 +0200 8078 EquivClass.thy
-rw-r--r-- 2021-05-06 23:28 +0200 6701 Finite.thy
-rw-r--r-- 2021-05-06 23:28 +0200 9873 Fixedpt.thy
-rw-r--r-- 2021-05-06 23:28 +0200 4064 Inductive.thy
-rw-r--r-- 2021-05-06 23:28 +0200 4765 InfDatatype.thy
-rw-r--r-- 2021-05-06 23:28 +0200 30751 Int.thy
-rw-r--r-- 2021-05-06 23:28 +0200 60120 IntDiv.thy
-rw-r--r-- 2021-05-06 23:28 +0200 38564 List.thy
-rw-r--r-- 2021-05-06 23:28 +0200 8977 Nat.thy
-rw-r--r-- 2021-05-06 23:28 +0200 12005 OrdQuant.thy
-rw-r--r-- 2021-05-06 23:28 +0200 24666 Order.thy
-rw-r--r-- 2021-05-06 23:28 +0200 19284 OrderArith.thy
-rw-r--r-- 2021-05-06 23:28 +0200 36030 OrderType.thy
-rw-r--r-- 2021-05-06 23:28 +0200 23801 Ordinal.thy
-rw-r--r-- 2021-05-06 23:28 +0200 17741 Perm.thy
-rw-r--r-- 2021-05-06 23:28 +0200 8729 QPair.thy
-rw-r--r-- 2021-05-06 23:28 +0200 6556 QUniv.thy
-rw-r--r-- 2021-05-06 23:28 +0200 8394 ROOT
-rw-r--r-- 2021-05-06 23:28 +0200 5098 Sum.thy
-rw-r--r-- 2021-05-06 23:28 +0200 11501 Trancl.thy
-rw-r--r-- 2021-05-06 23:28 +0200 25510 Univ.thy
-rw-r--r-- 2021-05-06 23:28 +0200 13350 WF.thy
-rw-r--r-- 2021-05-06 23:28 +0200 2265 ZF.thy
-rw-r--r-- 2021-05-06 23:28 +0200 45 ZFC.thy
-rw-r--r-- 2021-05-06 23:28 +0200 23659 ZF_Base.thy
-rw-r--r-- 2021-05-06 23:28 +0200 19141 Zorn.thy
-rw-r--r-- 2021-05-06 23:28 +0200 10115 arith_data.ML
-rw-r--r-- 2021-05-06 23:28 +0200 28879 equalities.thy
-rw-r--r-- 2021-05-06 23:28 +0200 19936 func.thy
-rw-r--r-- 2021-05-06 23:28 +0200 4737 ind_syntax.ML
-rw-r--r-- 2021-05-06 23:28 +0200 12785 int_arith.ML
-rw-r--r-- 2021-05-06 23:28 +0200 5318 pair.thy
-rw-r--r-- 2021-05-06 23:28 +0200 1798 simpdata.ML
-rw-r--r-- 2021-05-06 23:28 +0200 18238 upair.thy