--- a/src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML Mon Nov 04 11:03:13 2013 +0100
+++ b/src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML Mon Nov 04 11:59:08 2013 +0100
@@ -715,8 +715,8 @@
sel_corecs = sel_corecs}
end;
- fun mk_ctr_specs index (ctr_sugars : ctr_sugar list) p_is q_isss f_isss f_Tsss
- coiter_thmsss disc_coitersss sel_coiterssss =
+ fun mk_ctr_specs index (ctr_sugars : ctr_sugar list) p_is q_isss f_isss f_Tsss coiter_thmsss
+ disc_coitersss sel_coiterssss =
let
val ctrs = #ctrs (nth ctr_sugars index);
val discs = #discs (nth ctr_sugars index);