/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-- 2022-10-04 09:12 +0000 2211 AC.thy
-rw-r--r-- 2022-10-04 09:12 +0000 18105 Arith.thy
-rw-r--r-- 2022-10-04 09:12 +0000 20394 ArithSimp.thy
-rw-r--r-- 2022-10-04 09:12 +0000 24819 Bin.thy
-rw-r--r-- 2022-10-04 09:12 +0000 4973 Bool.thy
-rw-r--r-- 2022-10-04 09:12 +0000 42779 Cardinal.thy
-rw-r--r-- 2022-10-04 09:12 +0000 37167 CardinalArith.thy
-rw-r--r-- 2022-10-04 09:12 +0000 9479 Cardinal_AC.thy
-rw-r--r-- 2022-10-04 09:12 +0000 4057 Datatype.thy
-rw-r--r-- 2022-10-04 09:12 +0000 13502 Epsilon.thy
-rw-r--r-- 2022-10-04 09:12 +0000 9412 EquivClass.thy
-rw-r--r-- 2022-10-04 09:12 +0000 7263 Finite.thy
-rw-r--r-- 2022-10-04 09:12 +0000 11047 Fixedpt.thy
-rw-r--r-- 2022-10-04 09:12 +0000 4150 Inductive.thy
-rw-r--r-- 2022-10-04 09:12 +0000 4907 InfDatatype.thy
-rw-r--r-- 2022-10-04 09:12 +0000 33613 Int.thy
-rw-r--r-- 2022-10-04 09:12 +0000 65027 IntDiv.thy
-rw-r--r-- 2022-10-04 09:12 +0000 41989 List.thy
-rw-r--r-- 2022-10-04 09:12 +0000 9908 Nat.thy
-rw-r--r-- 2022-10-04 09:12 +0000 13808 OrdQuant.thy
-rw-r--r-- 2022-10-04 09:12 +0000 26594 Order.thy
-rw-r--r-- 2022-10-04 09:12 +0000 22028 OrderArith.thy
-rw-r--r-- 2022-10-04 09:12 +0000 38443 OrderType.thy
-rw-r--r-- 2022-10-04 09:12 +0000 26954 Ordinal.thy
-rw-r--r-- 2022-10-04 09:12 +0000 19940 Perm.thy
-rw-r--r-- 2022-10-04 09:12 +0000 9885 QPair.thy
-rw-r--r-- 2022-10-04 09:12 +0000 6856 QUniv.thy
-rw-r--r-- 2022-10-04 09:12 +0000 8395 ROOT
-rw-r--r-- 2022-10-04 09:12 +0000 5748 Sum.thy
-rw-r--r-- 2022-10-04 09:12 +0000 14184 Trancl.thy
-rw-r--r-- 2022-10-04 09:12 +0000 27294 Univ.thy
-rw-r--r-- 2022-10-04 09:12 +0000 15169 WF.thy
-rw-r--r-- 2022-10-04 09:12 +0000 2510 ZF.thy
-rw-r--r-- 2022-10-04 09:12 +0000 45 ZFC.thy
-rw-r--r-- 2022-10-04 09:12 +0000 26238 ZF_Base.thy
-rw-r--r-- 2022-10-04 09:12 +0000 20080 Zorn.thy
-rw-r--r-- 2022-10-04 09:12 +0000 9734 arith_data.ML
-rw-r--r-- 2022-10-04 09:12 +0000 31221 equalities.thy
-rw-r--r-- 2022-10-04 09:12 +0000 22576 func.thy
-rw-r--r-- 2022-10-04 09:12 +0000 4732 ind_syntax.ML
-rw-r--r-- 2022-10-04 09:12 +0000 12625 int_arith.ML
-rw-r--r-- 2022-10-04 09:12 +0000 6067 pair.thy
-rw-r--r-- 2022-10-04 09:12 +0000 1733 simpdata.ML
-rw-r--r-- 2022-10-04 09:12 +0000 19573 upair.thy