--- a/NEWS Sun Nov 20 17:32:27 2011 +0100
+++ b/NEWS Sun Nov 20 17:44:41 2011 +0100
@@ -12,6 +12,12 @@
the historic accident of dynamic re-evaluation in interpretations
etc. was exploited.
+* Commands 'lemmas' and 'theorems' allow local variables using 'for'
+declaration, and results are standardized before being stored. Thus
+old-style "standard" after instantiation or composition of facts
+becomes obsolete. Minor INCOMPATIBILITY, due to potential change of
+indices of schematic variables.
+
*** Pure ***