author | nipkow |
Thu, 18 Aug 2011 17:42:35 +0200 | |
changeset 45138 | d995733b635d |
parent 45136 | 336752fb25df |
parent 45137 | 731b18266d5a |
child 45144 | d27b9fe4759e |
child 45145 | f0de18b62d63 |
1.1 --- a/NEWS Thu Aug 18 17:00:15 2011 +0200 1.2 +++ b/NEWS Thu Aug 18 17:42:35 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