diff -r db230399f890 -r 65232054ffd0 src/HOLCF/IOA/ABP/Check.ML
--- a/src/HOLCF/IOA/ABP/Check.ML	Tue Oct 27 22:55:27 2009 +0100
+++ b/src/HOLCF/IOA/ABP/Check.ML	Tue Oct 27 22:56:14 2009 +0100
@@ -15,8 +15,8 @@
 fun check(extacts,intacts,string_of_a,startsI,string_of_s,
           nexts,hom,transA,startsS) =
   let fun check_s(s,unchecked,checked) =
-        let fun check_sa(unchecked,a) =
-              let fun check_sas(unchecked,t) =
+        let fun check_sa a unchecked =
+              let fun check_sas t unchecked =
                     (if a mem extacts then
                           (if transA(hom s,a,hom t) then ( )
                            else (writeln("Error: Mapping of Externals!");
@@ -29,8 +29,8 @@
                                  string_of_a a; writeln"";
                                  string_of_s t;writeln"";writeln"" ));
                      if t mem checked then unchecked else insert (op =) t unchecked)
-              in Library.foldl check_sas (unchecked,nexts s a) end;
-              val unchecked' = Library.foldl check_sa (unchecked,extacts @ intacts)
+              in fold check_sas (nexts s a) unchecked end;
+              val unchecked' = fold check_sa (extacts @ intacts) unchecked
         in    (if s mem startsI then 
                     (if hom(s) mem startsS then ()
                      else writeln("Error: At start states!"))