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