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