tuned

--- a/src/Pure/General/alist.ML	Mon Aug 24 08:31:41 2009 +0200
+++ b/src/Pure/General/alist.ML	Tue Sep 01 14:12:18 2009 +0200
@@ -122,6 +122,6 @@
   in coal end;
 
 fun group eq xs =
-  fold_rev (fn (k, v) => default eq (k, []) #> map_entry eq k (cons v)) xs [];
+  fold_rev (fn (k, v) => map_default eq (k, []) (cons v)) xs [];
 
 end;