NEWS
changeset 60171 b3be7677461e
parent 60138 b11401808dac
child 60301 ff82ba1893c8
     1.1 --- a/NEWS	Mon May 04 10:22:13 2015 +0200
     1.2 +++ b/NEWS	Mon May 04 16:01:36 2015 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** HOL ***
     1.8 +
     1.9 +* Discontinued simp_legacy_precond. Potential INCOMPATIBILITY.
    1.10  
    1.11  
    1.12  New in Isabelle2015 (May 2015)