# HG changeset patch
# User oheimb
# Date 997344983 -7200
# Node ID 6659e1ddd4ca7929dfbf81b3ca7d5a195ec48657
# Parent  085a0d2857e84fb2c0ae117adf794a4c10ffb089
renamed addaltern to addafter, addSaltern to addSafter

diff -r 085a0d2857e8 -r 6659e1ddd4ca NEWS
--- a/NEWS	Wed Aug 08 17:39:32 2001 +0200
+++ b/NEWS	Thu Aug 09 10:16:23 2001 +0200
@@ -16,6 +16,8 @@
 * HOL: added safe wrapper "split_conv_tac" to claset.  EXISTING PROOFS
 MAY FAIL;
 
+* Classical reasoner: renamed addaltern to addafter, addSaltern to addSafter
+
 * HOL: introduced f^n = f o ... o f
   WARNING: due to the limits of Isabelle's type classes, ^ on functions and
   relations has too general a domain, namely ('a * 'b)set and 'a => 'b.