moreover and also do not reset facts any more
authorkleing
Sat Dec 06 07:52:17 2003 +0100 (2003-12-06)
changeset 14283516358ca7b42
parent 14282 b23f028c1651
child 14284 f1abe67c448a
moreover and also do not reset facts any more
NEWS
     1.1 --- a/NEWS	Sat Dec 06 07:50:01 2003 +0100
     1.2 +++ b/NEWS	Sat Dec 06 07:52:17 2003 +0100
     1.3 @@ -46,6 +46,9 @@
     1.4    the instantiation string.  This fixes a bug that caused instantiated
     1.5    theorems to have too special types in some circumstances.
     1.6  
     1.7 +* Calculation commands "moreover" and "also":
     1.8 +  Do not reset facts ("this") any more.
     1.9 +
    1.10  * Locales:
    1.11    - Goal statements involving the context element "includes" no longer
    1.12      generate theorems with internal delta predicates (those ending on