NEWS
changeset 11172 3c82b641b642
parent 11169 98c2f741e32b
child 11181 d04f57b91166
     1.1 --- a/NEWS	Tue Feb 20 18:53:28 2001 +0100
     1.2 +++ b/NEWS	Wed Feb 21 12:07:00 2001 +0100
     1.3 @@ -1,6 +1,8 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 +* HOL: added safe wrapper "split_conv_tac" to claset. EXISTING PROOFS MAY FAIL
     1.8 +
     1.9  * HOL: made split_all_tac safe. EXISTING PROOFS MAY FAIL OR LOOP, so in this
    1.10    (rare) case use   delSWrapper "split_all_tac" addSbefore 
    1.11                      ("unsafe_split_all_tac", unsafe_split_all_tac)