src/HOL/BNF/Tools/bnf_gfp.ML

--- a/src/HOL/BNF/Tools/bnf_gfp.ML	Wed Oct 02 10:39:01 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_gfp.ML	Wed Oct 02 10:53:15 2013 +0200
@@ -2914,7 +2914,7 @@
   end;
 
 val _ =
-  Outer_Syntax.local_theory @{command_spec "codatatype"} "define BNF-based coinductive datatypes"
+  Outer_Syntax.local_theory @{command_spec "codatatype"} "define coinductive datatypes"
     (parse_co_datatype_cmd Greatest_FP construct_gfp);
 
 val option_parser = Parse.group (fn () => "option") (Parse.reserved "sequential" >> K true);