author | nipkow |
Thu, 18 Aug 2011 17:42:18 +0200 | |
changeset 45137 | 731b18266d5a |
parent 45134 | 971d1be5d5ce |
child 45138 | d995733b635d |
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