| changeset 51863 | d77cf35c27ac |
| parent 51859 | 09d24ea3f140 |
| child 51865 | 55099e63c5ca |
--- a/src/HOL/BNF/Tools/bnf_gfp.ML Thu May 02 15:28:11 2013 +0200 +++ b/src/HOL/BNF/Tools/bnf_gfp.ML Thu May 02 16:14:14 2013 +0200 @@ -3040,6 +3040,6 @@ val _ = Outer_Syntax.local_theory @{command_spec "codatatype"} "define BNF-based coinductive datatypes" - (parse_datatype_cmd false construct_gfp); + (parse_co_datatype_cmd false construct_gfp); end;