src/HOL/Codatatype/BNF_Wrap.thy
changeset 49309 f20b24214ac2
parent 49286 dde4967c9233
child 49312 c874ff5658dc
     1.1 --- a/src/HOL/Codatatype/BNF_Wrap.thy	Wed Sep 12 05:03:18 2012 +0200
     1.2 +++ b/src/HOL/Codatatype/BNF_Wrap.thy	Wed Sep 12 05:21:47 2012 +0200
     1.3 @@ -12,9 +12,9 @@
     1.4  keywords
     1.5    "wrap_data" :: thy_goal and
     1.6    "no_dests"
     1.7 -uses
     1.8 -  "Tools/bnf_wrap_tactics.ML"
     1.9 -  "Tools/bnf_wrap.ML"
    1.10  begin
    1.11  
    1.12 +ML_file "Tools/bnf_wrap_tactics.ML"
    1.13 +ML_file "Tools/bnf_wrap.ML"
    1.14 +
    1.15  end