--- a/NEWS Thu Jul 02 17:30:54 2009 +0200
+++ b/NEWS Thu Jul 02 17:33:36 2009 +0200
@@ -80,7 +80,7 @@
boundaries of intervals and implements interval splitting and Taylor
series expansion.
-* Changed DERIV_intros to a dynamic fact (via NamedThmsFun). Each of
+* Changed DERIV_intros to a dynamic fact (via Named_Thms). Each of
the theorems in DERIV_intros assumes composition with an additional
function and matches a variable to the derivative, which has to be
solved by the simplifier. Hence (auto intro!: DERIV_intros) computes
@@ -92,6 +92,8 @@
*** ML ***
+* Renamed NamedThmsFun to Named_Thms. INCOMPATIBILITY.
+
* Eliminated old Attrib.add_attributes, Method.add_methods and related
cominators for "args". INCOMPATIBILITY, need to use simplified
Attrib/Method.setup introduced in Isabelle2009.