/src/HOL/Cardinals/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2013-03-26 12:20 +0100 31384 Cardinal_Arithmetic.thy
-rw-r--r-- 2013-03-26 12:20 +0100 38006 Cardinal_Order_Relation.thy
-rw-r--r-- 2013-03-26 12:20 +0100 91667 Cardinal_Order_Relation_Base.thy
-rw-r--r-- 2013-03-26 12:20 +0100 321 Cardinals.thy
-rw-r--r-- 2013-03-26 12:20 +0100 27033 Constructions_on_Wellorders.thy
-rw-r--r-- 2013-03-26 12:20 +0100 60925 Constructions_on_Wellorders_Base.thy
-rw-r--r-- 2013-03-26 12:20 +0100 5561 Fun_More.thy
-rw-r--r-- 2013-03-26 12:20 +0100 8462 Fun_More_Base.thy
-rw-r--r-- 2013-03-26 12:20 +0100 18301 Order_Relation_More.thy
-rw-r--r-- 2013-03-26 12:20 +0100 9108 Order_Relation_More_Base.thy
-rw-r--r-- 2013-03-26 12:20 +0100 10546 README.txt
-rw-r--r-- 2013-03-26 12:20 +0100 1735 TODO.txt
-rw-r--r-- 2013-03-26 12:20 +0100 1433 Wellfounded_More.thy
-rw-r--r-- 2013-03-26 12:20 +0100 7668 Wellfounded_More_Base.thy
-rw-r--r-- 2013-03-26 12:20 +0100 5950 Wellorder_Embedding.thy
-rw-r--r-- 2013-03-26 12:20 +0100 42746 Wellorder_Embedding_Base.thy
-rw-r--r-- 2013-03-26 12:20 +0100 15540 Wellorder_Relation.thy
-rw-r--r-- 2013-03-26 12:20 +0100 18722 Wellorder_Relation_Base.thy