NEWS

--- a/NEWS	Wed Feb 15 20:56:30 2012 +0100
+++ b/NEWS	Wed Feb 15 21:08:27 2012 +0100
@@ -39,6 +39,10 @@
 
 *** Pure ***
 
+* Discontinued old "prems" fact, which used to refer to the accidental
+collection of foundational premises in the context (marked as legacy
+since Isabelle2011).
+
 * Obsolete command 'types' has been discontinued.  Use 'type_synonym'
 instead.  INCOMPATIBILITY.