--- a/src/HOL/Library/Executable_Set.thy Tue Sep 22 11:26:46 2009 +0200
+++ b/src/HOL/Library/Executable_Set.thy Wed Sep 23 11:33:52 2009 +0200
@@ -85,4 +85,6 @@
card ("{*Fset.card*}")
fold ("{*foldl o flip*}")
+hide (open) const subset eq_set Inter Union flip
+
end
\ No newline at end of file