/src/HOL/Cardinals/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2017-11-01 20:46 +0100 8986 Bounded_Set.thy
-rw-r--r-- 2017-11-01 20:46 +0100 15791 Cardinal_Arithmetic.thy
-rw-r--r-- 2017-11-01 20:46 +0100 73922 Cardinal_Order_Relation.thy
-rw-r--r-- 2017-11-01 20:46 +0100 345 Cardinals.thy
-rw-r--r-- 2017-11-01 20:46 +0100 6452 Fun_More.thy
-rw-r--r-- 2017-11-01 20:46 +0100 19549 Order_Relation_More.thy
-rw-r--r-- 2017-11-01 20:46 +0100 12712 Order_Union.thy
-rw-r--r-- 2017-11-01 20:46 +0100 84493 Ordinal_Arithmetic.thy
-rw-r--r-- 2017-11-01 20:46 +0100 10526 README.txt
-rw-r--r-- 2017-11-01 20:46 +0100 1735 TODO.txt
-rw-r--r-- 2017-11-01 20:46 +0100 1445 Wellfounded_More.thy
-rw-r--r-- 2017-11-01 20:46 +0100 41220 Wellorder_Constructions.thy
-rw-r--r-- 2017-11-01 20:46 +0100 5974 Wellorder_Embedding.thy
-rw-r--r-- 2017-11-01 20:46 +0100 11548 Wellorder_Extension.thy
-rw-r--r-- 2017-11-01 20:46 +0100 16113 Wellorder_Relation.thy