--- a/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML Tue Jun 04 12:11:48 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML Wed Jun 05 08:57:43 2013 +0200
@@ -41,6 +41,7 @@
* ((term list list * term list list list list * term list list list list)
* (typ list * typ list list list * typ list list))) option)
* Proof.context
+ val mk_map: int -> typ list -> typ list -> term -> term
val build_map: local_theory -> (typ * typ -> term) -> typ * typ -> term
val mk_iter_fun_arg_typessss: typ list -> int list -> int list list -> term ->