# HG changeset patch
# User blanchet
# Date 1366727429 -7200
# Node ID 97c116445b652b933e2b8fbdcc9d8e19d0e07887
# Parent  3514b90d0a8b038ffdf41ef16e16be2f29eae8c8
tuned_comment

diff -r 3514b90d0a8b -r 97c116445b65 src/HOL/BNF/BNF_FP.thy
--- a/src/HOL/BNF/BNF_FP.thy	Tue Apr 23 11:43:09 2013 +0200
+++ b/src/HOL/BNF/BNF_FP.thy	Tue Apr 23 16:30:29 2013 +0200
@@ -3,10 +3,10 @@
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2012
 
-Composition of bounded natural functors.
+Basic fixed point operations on bounded natural functors.
 *)
 
-header {* Composition of Bounded Natural Functors *}
+header {* Basic Fixed Point Operations on Bounded Natural Functors *}
 
 theory BNF_FP
 imports BNF_Comp BNF_Wrap