opened new section for next Isabelle release
authorkleing
Tue Jul 29 13:32:16 2003 +0200 (2003-07-29)
changeset 141369b7a62788dac
parent 14135 f8a25218b423
child 14137 c57ec95e7763
opened new section for next Isabelle release
NEWS
     1.1 --- a/NEWS	Mon Jul 28 11:16:38 2003 +0200
     1.2 +++ b/NEWS	Tue Jul 29 13:32:16 2003 +0200
     1.3 @@ -4,6 +4,15 @@
     1.4  New in this Isabelle release
     1.5  ----------------------------
     1.6  
     1.7 +*** HOL ***
     1.8 +
     1.9 +* 'specification' command added, allowing for definition by
    1.10 +specification.
    1.11 +
    1.12 +
    1.13 +New in Isabelle2003 (May 2003)
    1.14 +--------------------------------
    1.15 +
    1.16  *** General ***
    1.17  
    1.18  * Provers/simplifier:
    1.19 @@ -110,9 +119,6 @@
    1.20  
    1.21  *** HOL ***
    1.22  
    1.23 -* 'specification' command added, allowing for definition by
    1.24 -specification.
    1.25 -
    1.26  * arith(_tac)
    1.27  
    1.28   - Produces a counter example if it cannot prove a goal.