changeset 58889 | 5b7a9633cfa8 |
parent 58127 | b7cab82f488e |
child 59166 | 4e43651235b2 |
--- a/src/HOL/Cardinals/Cardinal_Order_Relation.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/Cardinals/Cardinal_Order_Relation.thy Sun Nov 02 18:21:45 2014 +0100 @@ -5,7 +5,7 @@ Cardinal-order relations. *) -header {* Cardinal-Order Relations *} +section {* Cardinal-Order Relations *} theory Cardinal_Order_Relation imports BNF_Cardinal_Order_Relation Wellorder_Constructions