case_names NEWS
authornipkow
Thu Aug 18 17:42:18 2011 +0200 (2011-08-18)
changeset 44274731b18266d5a
parent 44263 971d1be5d5ce
child 44275 d995733b635d
case_names NEWS
NEWS
     1.1 --- a/NEWS	Thu Aug 18 16:52:19 2011 +0900
     1.2 +++ b/NEWS	Thu Aug 18 17:42:18 2011 +0200
     1.3 @@ -57,6 +57,9 @@
     1.4  * Isabelle/Isar reference manual provides more formal references in
     1.5  syntax diagrams.
     1.6  
     1.7 +* Attribute case_names has been refined: the assumptions in each case can
     1.8 +be named now by following the case name with [name1 name2 ...].
     1.9 +
    1.10  
    1.11  *** HOL ***
    1.12