src/HOL/Finite_Set.thy

--- a/src/HOL/Finite_Set.thy	Thu Dec 29 10:47:56 2011 +0100
+++ b/src/HOL/Finite_Set.thy	Thu Dec 29 13:41:41 2011 +0100
@@ -2269,4 +2269,6 @@
     by simp
 qed
 
+hide_const (open) Finite_Set.fold
+
 end