src/HOL/BNF/Tools/bnf_gfp.ML

 
 signature BNF_GFP =
 sig
   val construct_gfp: mixfix list -> (string * sort) list option -> binding list -> binding list ->
     binding list -> binding list list -> typ list * typ list list -> BNF_Def.bnf list ->
-    local_theory -> BNF_FP.fp_result * local_theory
+    local_theory -> BNF_FP_Util.fp_result * local_theory
 end;
 
 structure BNF_GFP : BNF_GFP =
 struct
 
 open BNF_Def
 open BNF_Util
 open BNF_Tactics
 open BNF_Comp
-open BNF_FP
+open BNF_FP_Util
 open BNF_FP_Def_Sugar
 open BNF_GFP_Util
 open BNF_GFP_Tactics
 
 datatype wit_tree = Wit_Leaf of int | Wit_Node of (int * int * int list) * wit_tree list;