changeset 55059 | ef2e0fb783c6 |
parent 55056 | b5c94200d081 |
child 55101 | 57c875e488bd |
--- a/src/HOL/BNF_Wellorder_Relation.thy Mon Jan 20 18:24:56 2014 +0100 +++ b/src/HOL/BNF_Wellorder_Relation.thy Mon Jan 20 18:24:56 2014 +0100 @@ -2,10 +2,10 @@ Author: Andrei Popescu, TU Muenchen Copyright 2012 -Well-order relations (BNF). +Well-order relations as needed by bounded natural functors. *) -header {* Well-Order Relations (BNF) *} +header {* Well-Order Relations as Needed by Bounded Natural Functors *} theory BNF_Wellorder_Relation imports Order_Relation