--- a/src/HOL/Library/Executable_Set.thy Thu Dec 11 08:59:03 2008 +0100
+++ b/src/HOL/Library/Executable_Set.thy Mon Dec 15 10:16:38 2008 +0100
@@ -275,7 +275,6 @@
Ball ("{*Blall*}")
Bex ("{*Blex*}")
filter_set ("{*filter*}")
- fold ("{* foldl *}")
-
+ fold ("{* foldl o flip *}")
end