src/HOL/Tools/ATP/recon_parse.ML
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")