src/HOL/Codatatype/BNF_Wrap.thy
changeset 49283 97809ae5f7bb
parent 49278 718e4ad1517e
child 49286 dde4967c9233
     1.1 --- a/src/HOL/Codatatype/BNF_Wrap.thy	Tue Sep 11 17:09:39 2012 +0200
     1.2 +++ b/src/HOL/Codatatype/BNF_Wrap.thy	Tue Sep 11 17:14:49 2012 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  header {* Wrapping Datatypes *}
     1.5  
     1.6  theory BNF_Wrap
     1.7 -imports BNF_Def
     1.8 +imports BNF_Util
     1.9  keywords
    1.10    "wrap_data" :: thy_goal
    1.11  and