src/HOL/Codatatype/Tools/bnf_wrap.ML
changeset 49286 dde4967c9233
parent 49285 036b833b99aa
child 49297 47fbf2e3e89c
     1.1 --- a/src/HOL/Codatatype/Tools/bnf_wrap.ML	Tue Sep 11 18:12:23 2012 +0200
     1.2 +++ b/src/HOL/Codatatype/Tools/bnf_wrap.ML	Tue Sep 11 18:39:47 2012 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4        (binding list * (binding list list * (binding * term) list list)) -> local_theory ->
     1.5      (term list list * thm list * thm list list) * local_theory
     1.6    val parse_wrap_options: bool parser
     1.7 +  val parse_bound_term: (binding * string) parser
     1.8  end;
     1.9  
    1.10  structure BNF_Wrap : BNF_WRAP =