# HG changeset patch
# User nipkow
# Date 952949626 -3600
# Node ID f03c667cf70255d16434e9b21a7660a9c5a8f7a7
# Parent  a1a41257f45f96c1d961ac4b476f3af40221e229
*** empty log message ***

diff -r a1a41257f45f -r f03c667cf702 NEWS
--- a/NEWS	Mon Mar 13 13:11:16 2000 +0100
+++ b/NEWS	Mon Mar 13 13:13:46 2000 +0100
@@ -7,8 +7,6 @@
 
 *** Overview of INCOMPATIBILITIES (see below for more details) ***
 
-* HOL: "case_tac" is now called "cases_tac" (see below)
-
 * HOL: the constant for f``x is now "image" rather than "op ``".
 
 
@@ -56,8 +54,7 @@
 Arithmetic, by Thomas M Rasmussen;
 
 * There is a new tactic "cases_tac" for case distinctions; it subsumes the
-old "case_tac" (no longer available) and "exhaust_tac" (which should no
-longer be used).
+old "case_tac" and "exhaust_tac" (which should no longer be used).
 
 *** General ***