* Recovered hiding of consts;

--- a/NEWS	Fri Jun 13 20:57:51 2008 +0200
+++ b/NEWS	Fri Jun 13 21:04:07 2008 +0200
@@ -6,6 +6,10 @@
 
 *** Pure ***
 
+* Recovered hiding of consts, which was accidentally broken in
+Isabelle2007.  Potential INCOMPATIBILITY, ``hide const c'' really
+makes c inaccessible; consider using ``hide (open) const c'' instead.
+
 * Command 'instance': attached definitions now longer accepted.
 INCOMPATIBILITY, use proper 'instantiation' target.