changeset 16840 | 3d5aad11bc24 |
parent 16804 | 3c339e1c069b |
child 16953 | f025e0dc638b |
--- a/src/HOL/Tools/ATP/recon_parse.ML Thu Jul 14 19:28:21 2005 +0200 +++ b/src/HOL/Tools/ATP/recon_parse.ML Thu Jul 14 19:28:22 2005 +0200 @@ -161,7 +161,7 @@ fun several p = many (some p) - fun collect (h, t) = h ^ (Utils.itlist (fn s1 => fn s2 => s1 ^ s2) t "") + fun collect (h, t) = h ^ (fold_rev (fn s1 => fn s2 => s1 ^ s2) t "") fun lower_letter s = ("a" <= s) andalso (s <= "z") fun upper_letter s = ("A" <= s) andalso (s <= "Z")