src/HOL/Tools/BNF/bnf_fp_n2m.ML
changeset 55575 a5e33e18fb5c
parent 55566 ab0a547b5aee
child 55803 74d3fe9031d8
     1.1 --- a/src/HOL/Tools/BNF/bnf_fp_n2m.ML	Wed Feb 19 08:34:32 2014 +0100
     1.2 +++ b/src/HOL/Tools/BNF/bnf_fp_n2m.ML	Wed Feb 19 08:34:33 2014 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  signature BNF_FP_N2M =
     1.6  sig
     1.7 -  val construct_mutualized_fp: BNF_FP_Util.fp_kind  -> typ list -> BNF_FP_Def_Sugar.fp_sugar list ->
     1.8 +  val construct_mutualized_fp: BNF_Util.fp_kind -> typ list -> BNF_FP_Def_Sugar.fp_sugar list ->
     1.9      binding list -> (string * sort) list -> typ list * typ list list -> BNF_Def.bnf list ->
    1.10      local_theory -> BNF_FP_Util.fp_result * local_theory
    1.11  end;