diff -r 4e700eb471d4 -r ef2e0fb783c6 src/HOL/BNF_Wellorder_Relation.thy
--- 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