# HG changeset patch
# User nipkow
# Date 861375292 -7200
# Node ID 9e46778b97ab5689615a93ea7d5aee0a442037ab
# Parent  395686b418a4e38b7d6356a86b74e300ae24a27e
*** empty log message ***

diff -r 395686b418a4 -r 9e46778b97ab NEWS
--- a/NEWS	Fri Apr 18 12:01:12 1997 +0200
+++ b/NEWS	Fri Apr 18 16:54:52 1997 +0200
@@ -47,6 +47,9 @@
 COULD MAKE EXISTING PROOFS FAIL; in case of problems with
 old proofs, use unsafe_addss and unsafe_auto_tac
 
+* HOL: patterns in case expressions allow tuple patterns as arguments to
+constructors, for example `case x of [] => ... | (x,y,z)#ps => ...'
+
 * HOL: primrec now also works with type nat;
 
 * HOL: the constant for negation has been renamed from "not" to "Not" to