/src/HOL/Cardinals/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2016-02-22 14:37 +0000 8943 Bounded_Set.thy
-rw-r--r-- 2016-02-22 14:37 +0000 15626 Cardinal_Arithmetic.thy
-rw-r--r-- 2016-02-22 14:37 +0000 73754 Cardinal_Order_Relation.thy
-rw-r--r-- 2016-02-22 14:37 +0000 336 Cardinals.thy
-rw-r--r-- 2016-02-22 14:37 +0000 6407 Fun_More.thy
-rw-r--r-- 2016-02-22 14:37 +0000 19522 Order_Relation_More.thy
-rw-r--r-- 2016-02-22 14:37 +0000 12699 Order_Union.thy
-rw-r--r-- 2016-02-22 14:37 +0000 84234 Ordinal_Arithmetic.thy
-rw-r--r-- 2016-02-22 14:37 +0000 10526 README.txt
-rw-r--r-- 2016-02-22 14:37 +0000 1735 TODO.txt
-rw-r--r-- 2016-02-22 14:37 +0000 1423 Wellfounded_More.thy
-rw-r--r-- 2016-02-22 14:37 +0000 41068 Wellorder_Constructions.thy
-rw-r--r-- 2016-02-22 14:37 +0000 5934 Wellorder_Embedding.thy
-rw-r--r-- 2016-02-22 14:37 +0000 10819 Wellorder_Extension.thy
-rw-r--r-- 2016-02-22 14:37 +0000 16028 Wellorder_Relation.thy