/src/HOL/Cardinals/ default tip
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2025-07-23 14:53 +0200 9141 Bounded_Set.thy
-rw-r--r-- 2025-07-23 14:53 +0200 13139 Cardinal_Arithmetic.thy
-rw-r--r-- 2025-07-23 14:53 +0200 56914 Cardinal_Order_Relation.thy
-rw-r--r-- 2025-07-23 14:53 +0200 345 Cardinals.thy
-rw-r--r-- 2025-07-23 14:53 +0200 2668 Fun_More.thy
-rw-r--r-- 2025-07-23 14:53 +0200 19809 Order_Relation_More.thy
-rw-r--r-- 2025-07-23 14:53 +0200 7184 Order_Union.thy
-rw-r--r-- 2025-07-23 14:53 +0200 82439 Ordinal_Arithmetic.thy
-rw-r--r-- 2025-07-23 14:53 +0200 10526 README.txt
-rw-r--r-- 2025-07-23 14:53 +0200 1735 TODO.txt
-rw-r--r-- 2025-07-23 14:53 +0200 1434 Wellfounded_More.thy
-rw-r--r-- 2025-07-23 14:53 +0200 29459 Wellorder_Constructions.thy
-rw-r--r-- 2025-07-23 14:53 +0200 4713 Wellorder_Embedding.thy
-rw-r--r-- 2025-07-23 14:53 +0200 11912 Wellorder_Extension.thy
-rw-r--r-- 2025-07-23 14:53 +0200 11053 Wellorder_Relation.thy