NEWS

--- a/NEWS	Fri Jun 05 11:11:26 2015 +0200
+++ b/NEWS	Fri Jun 05 13:26:12 2015 +0200
@@ -12,9 +12,6 @@
 * Configuration option rule_insts_schematic has been discontinued
 (intermediate legacy feature in Isabelle2015).  INCOMPATIBILITY.
 
-
-*** Pure ***
-
 * Abbreviations in type classes now carry proper sort constraint.
 Rare INCOMPATIBILITY in situations where the previous misbehaviour
 has been exploited previously.