--- a/src/HOL/HOLCF/Plain_HOLCF.thy Sun Apr 12 11:33:50 2015 +0200
+++ b/src/HOL/HOLCF/Plain_HOLCF.thy Sun Apr 12 11:34:09 2015 +0200
@@ -12,4 +12,6 @@
Basic HOLCF concepts and types; does not include definition packages.
*}
+hide_const (open) Filter.principal
+
end