/src/HOL/Cardinals/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2013-06-23 21:16 +0200 29324 Cardinal_Arithmetic.thy
-rw-r--r-- 2013-06-23 21:16 +0200 37986 Cardinal_Order_Relation.thy
-rw-r--r-- 2013-06-23 21:16 +0200 91650 Cardinal_Order_Relation_Base.thy
-rw-r--r-- 2013-06-23 21:16 +0200 321 Cardinals.thy
-rw-r--r-- 2013-06-23 21:16 +0200 13877 Constructions_on_Wellorders.thy
-rw-r--r-- 2013-06-23 21:16 +0200 60926 Constructions_on_Wellorders_Base.thy
-rw-r--r-- 2013-06-23 21:16 +0200 5574 Fun_More.thy
-rw-r--r-- 2013-06-23 21:16 +0200 8462 Fun_More_Base.thy
-rw-r--r-- 2013-06-23 21:16 +0200 18302 Order_Relation_More.thy
-rw-r--r-- 2013-06-23 21:16 +0200 8450 Order_Relation_More_Base.thy
-rw-r--r-- 2013-06-23 21:16 +0200 10546 README.txt
-rw-r--r-- 2013-06-23 21:16 +0200 1735 TODO.txt
-rw-r--r-- 2013-06-23 21:16 +0200 1433 Wellfounded_More.thy
-rw-r--r-- 2013-06-23 21:16 +0200 7664 Wellfounded_More_Base.thy
-rw-r--r-- 2013-06-23 21:16 +0200 5950 Wellorder_Embedding.thy
-rw-r--r-- 2013-06-23 21:16 +0200 42749 Wellorder_Embedding_Base.thy
-rw-r--r-- 2013-06-23 21:16 +0200 15194 Wellorder_Relation.thy
-rw-r--r-- 2013-06-23 21:16 +0200 18739 Wellorder_Relation_Base.thy