changeset 61348 | d7215449be83 |
parent 61334 | 8d40ddaa427f |
child 61424 | c3658c18b7bc |
--- a/src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML Tue Oct 06 21:04:44 2015 +0200 +++ b/src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML Wed Oct 07 10:02:43 2015 +0200 @@ -1604,7 +1604,7 @@ --| @{keyword ")"}) []) -- (Parse.fixes -- where_alt_props_of_parser) >> uncurry primcorec_cmd); -val _ = Theory.setup (gfp_rec_sugar_interpretation Transfer_BNF.transfer_plugin +val _ = Theory.setup (gfp_rec_sugar_interpretation transfer_plugin gfp_rec_sugar_transfer_interpretation); end;