diff -r a4c6b278f3a7 -r 0c4077939278 NEWS
--- a/NEWS	Sat Jun 13 16:35:27 2015 +0200
+++ b/NEWS	Sat Jun 13 17:14:05 2015 +0200
@@ -38,6 +38,22 @@
 * New command 'supply' supports fact definitions during goal refinement
 ('apply' scripts).
 
+* Proof method "cases" allows to specify the rule as first entry of
+chained facts.  This is particularly useful with 'consider':
+
+  consider (a) A | (b) B | (c) C <proof>
+  then have something
+  proof cases
+    case a
+    then show ?thesis <proof>
+  next
+    case b
+    then show ?thesis <proof>
+  next
+    case c
+    then show ?thesis <proof>
+  qed
+
 
 *** Pure ***