| changeset 2238 | c72a23bbe762 |
| parent 1810 | 0eef167ebe1b |
| child 3534 | c245c88194ff |
--- a/src/HOLCF/ax_ops/thy_ops.ML Wed Nov 27 10:36:38 1996 +0100 +++ b/src/HOLCF/ax_ops/thy_ops.ML Wed Nov 27 10:40:45 1996 +0100 @@ -371,7 +371,7 @@ val names1 = list1 name; -val split_decls = flat o map (fn (xs, y) => map (rpair y) xs); +fun split_decls decls = flat (map (fn (xs, y) => map (rpair y) xs) decls); fun mk_triple2 (x, (y, z)) = mk_triple (x, y, z);