changeset 58889 | 5b7a9633cfa8 |
parent 55066 | 4e5ddf3162ac |
child 63167 | 0909deb8059b |
--- a/src/HOL/Cardinals/Wellfounded_More.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/Cardinals/Wellfounded_More.thy Sun Nov 02 18:21:45 2014 +0100 @@ -5,7 +5,7 @@ More on well-founded relations. *) -header {* More on Well-Founded Relations *} +section {* More on Well-Founded Relations *} theory Wellfounded_More imports Wellfounded Order_Relation_More