NEWS

--- a/NEWS	Fri Feb 23 16:31:18 2001 +0100
+++ b/NEWS	Fri Feb 23 16:31:21 2001 +0100
@@ -1,6 +1,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+* Classical reasoner: renamed addaltern to addafter, addSaltern to addSafter
+
 * HOL: added safe wrapper "split_conv_tac" to claset. EXISTING PROOFS MAY FAIL
 
 * HOL: made split_all_tac safe. EXISTING PROOFS MAY FAIL OR LOOP, so in this