/src/HOL/Cardinals/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2014-03-07 22:30 +0100 15618 Cardinal_Arithmetic.thy
-rw-r--r-- 2014-03-07 22:30 +0100 73861 Cardinal_Order_Relation.thy
-rw-r--r-- 2014-03-07 22:30 +0100 335 Cardinals.thy
-rw-r--r-- 2014-03-07 22:30 +0100 41104 Constructions_on_Wellorders.thy
-rw-r--r-- 2014-03-07 22:30 +0100 6406 Fun_More.thy
-rw-r--r-- 2014-03-07 22:30 +0100 19533 Order_Relation_More.thy
-rw-r--r-- 2014-03-07 22:30 +0100 12699 Order_Union.thy
-rw-r--r-- 2014-03-07 22:30 +0100 84294 Ordinal_Arithmetic.thy
-rw-r--r-- 2014-03-07 22:30 +0100 10538 README.txt
-rw-r--r-- 2014-03-07 22:30 +0100 1735 TODO.txt
-rw-r--r-- 2014-03-07 22:30 +0100 1422 Wellfounded_More.thy
-rw-r--r-- 2014-03-07 22:30 +0100 5935 Wellorder_Embedding.thy
-rw-r--r-- 2014-03-07 22:30 +0100 10818 Wellorder_Extension.thy
-rw-r--r-- 2014-03-07 22:30 +0100 16039 Wellorder_Relation.thy