/src/HOL/Cardinals/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2021-04-12 14:14 +0200 8978 Bounded_Set.thy
-rw-r--r-- 2021-04-12 14:14 +0200 15763 Cardinal_Arithmetic.thy
-rw-r--r-- 2021-04-12 14:14 +0200 73109 Cardinal_Order_Relation.thy
-rw-r--r-- 2021-04-12 14:14 +0200 345 Cardinals.thy
-rw-r--r-- 2021-04-12 14:14 +0200 5631 Fun_More.thy
-rw-r--r-- 2021-04-12 14:14 +0200 19549 Order_Relation_More.thy
-rw-r--r-- 2021-04-12 14:14 +0200 12698 Order_Union.thy
-rw-r--r-- 2021-04-12 14:14 +0200 84557 Ordinal_Arithmetic.thy
-rw-r--r-- 2021-04-12 14:14 +0200 10526 README.txt
-rw-r--r-- 2021-04-12 14:14 +0200 1735 TODO.txt
-rw-r--r-- 2021-04-12 14:14 +0200 1434 Wellfounded_More.thy
-rw-r--r-- 2021-04-12 14:14 +0200 41198 Wellorder_Constructions.thy
-rw-r--r-- 2021-04-12 14:14 +0200 5946 Wellorder_Embedding.thy
-rw-r--r-- 2021-04-12 14:14 +0200 11521 Wellorder_Extension.thy
-rw-r--r-- 2021-04-12 14:14 +0200 16086 Wellorder_Relation.thy