--- a/NEWS Fri Jul 11 09:02:33 2008 +0200
+++ b/NEWS Fri Jul 11 09:03:11 2008 +0200
@@ -41,6 +41,8 @@
*** HOL ***
+* HOL-Rational: 'Fract k 0' now equals '0'. INCOMPATIBILITY.
+
* Integrated image HOL-Complex with HOL. Entry points Main.thy and
Complex_Main.thy remain as they are.