NEWS

--- a/NEWS	Tue Feb 20 18:53:28 2001 +0100
+++ b/NEWS	Wed Feb 21 12:07:00 2001 +0100
@@ -1,6 +1,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+* 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
   (rare) case use   delSWrapper "split_all_tac" addSbefore 
                     ("unsafe_split_all_tac", unsafe_split_all_tac)