--- a/NEWS Tue Oct 06 13:31:44 2015 +0200
+++ b/NEWS Tue Oct 06 15:14:28 2015 +0200
@@ -7,6 +7,19 @@
New in this Isabelle version
----------------------------
+*** General ***
+
+* Toplevel theorem statements have been simplified as follows:
+
+ theorems ~> lemmas
+ schematic_lemma ~> schematic_goal
+ schematic_theorem ~> schematic_goal
+ schematic_corollary ~> schematic_goal
+
+Command-line tool "isabelle update_theorems" updates theory sources
+accordingly.
+
+
*** Prover IDE -- Isabelle/Scala/jEdit ***
* Improved scheduling for urgent print tasks (e.g. command state output,