# HG changeset patch
# User nipkow
# Date 1313682155 -7200
# Node ID d995733b635df12acc85729801ac546a9f52b45f
# Parent  336752fb25df0151309c66e686d461dc0de7941c# Parent  731b18266d5ae6414ab416255e1f00326889b62c
merged

diff -r 336752fb25df -r d995733b635d NEWS
--- a/NEWS	Thu Aug 18 17:00:15 2011 +0200
+++ b/NEWS	Thu Aug 18 17:42:35 2011 +0200
@@ -57,6 +57,9 @@
 * Isabelle/Isar reference manual provides more formal references in
 syntax diagrams.
 
+* Attribute case_names has been refined: the assumptions in each case can
+be named now by following the case name with [name1 name2 ...].
+
 
 *** HOL ***