*** empty log message ***
authornipkow
Thu May 30 10:21:28 2002 +0200 (2002-05-30)
changeset 13188596776f878f8
parent 13187 e5434b822a96
child 13189 81ed5c6de890
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Thu May 30 10:12:52 2002 +0200
     1.2 +++ b/NEWS	Thu May 30 10:21:28 2002 +0200
     1.3 @@ -7,6 +7,8 @@
     1.4    It can solve simple goals like "0 < n ==> n div 2 < (n::nat)"
     1.5    but fails if divisibility plays a role like in
     1.6    "n div 2 + (n+1) div 2 = (n::nat)".
     1.7 +* simp's arithmetic capabilities have been enhanced a bit:
     1.8 +  it now takes ~= in premises into account (by performing a case split).
     1.9  
    1.10  New in Isabelle2002 (March 2002)
    1.11  --------------------------------