--- a/NEWS Tue Jun 10 23:45:53 2008 +0200 +++ b/NEWS Tue Jun 10 23:49:55 2008 +0200 @@ -45,6 +45,7 @@ theorems. Changes in simp rules. INCOMPATIBILITY. + New in Isabelle2008 (June 2008) -------------------------------