1.1 --- a/src/HOL/Tools/function_package/scnp_solve.ML Sun Mar 01 16:48:06 2009 +0100
1.2 +++ b/src/HOL/Tools/function_package/scnp_solve.ML Sun Mar 01 23:36:12 2009 +0100
1.3 @@ -46,7 +46,7 @@
1.4 fun num_prog_pts (GP (arities, _)) = length arities ;
1.5 fun num_graphs (GP (_, gs)) = length gs ;
1.6 fun arity (GP (arities, gl)) i = nth arities i ;
1.7 -fun ndigits (GP (arities, _)) = IntInf.log2 (foldl (op +) 0 arities) + 1
1.8 +fun ndigits (GP (arities, _)) = IntInf.log2 (List.foldl (op +) 0 arities) + 1
1.9
1.10
1.11 (** Propositional formulas **)
1.12 @@ -79,7 +79,7 @@
1.13 fun var_constrs (gp as GP (arities, gl)) =
1.14 let
1.15 val n = Int.max (num_graphs gp, num_prog_pts gp)
1.16 - val k = foldl Int.max 1 arities
1.17 + val k = List.foldl Int.max 1 arities
1.18
1.19 (* Injective, provided a < 8, x < n, and i < k. *)
1.20 fun prod a x i j = ((j * k + i) * n + x) * 8 + a + 1