NEWS
changeset 44274 731b18266d5a
parent 44136 e63ad7d5158d
child 44282 f0de18b62d63
     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