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