src/HOL/BNF/BNF_Wrap.thy
changeset 51781 0504e286d66d
parent 49633 5b5450bc544c
     1.1 --- a/src/HOL/BNF/BNF_Wrap.thy	Thu Apr 25 18:14:04 2013 +0200
     1.2 +++ b/src/HOL/BNF/BNF_Wrap.thy	Thu Apr 25 18:27:26 2013 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  theory BNF_Wrap
     1.5  imports BNF_Util
     1.6  keywords
     1.7 -  "wrap_data" :: thy_goal and
     1.8 +  "wrap_free_constructors" :: thy_goal and
     1.9    "no_dests" and
    1.10    "rep_compat"
    1.11  begin