1.1 --- a/src/HOL/BNF_Wellorder_Relation.thy	Mon Jan 20 18:24:56 2014 +0100
     1.2 +++ b/src/HOL/BNF_Wellorder_Relation.thy	Mon Jan 20 18:24:56 2014 +0100
     1.3 @@ -2,10 +2,10 @@
     1.4      Author:     Andrei Popescu, TU Muenchen
     1.5      Copyright   2012
     1.6  
     1.7 -Well-order relations (BNF).
     1.8 +Well-order relations as needed by bounded natural functors.
     1.9  *)
    1.10  
    1.11 -header {* Well-Order Relations (BNF) *}
    1.12 +header {* Well-Order Relations as Needed by Bounded Natural Functors *}
    1.13  
    1.14  theory BNF_Wellorder_Relation
    1.15  imports Order_Relation