replaced Utils.itlist by fold_rev;
authorwenzelm
Thu Jul 14 19:28:22 2005 +0200 (2005-07-14)
changeset 168403d5aad11bc24
parent 16839 d7b47195ac7b
child 16841 228d663cc9b3
replaced Utils.itlist by fold_rev;
src/HOL/Tools/ATP/recon_parse.ML
     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")