NEWS

--- a/NEWS	Wed Oct 26 16:31:53 2005 +0200
+++ b/NEWS	Thu Oct 27 08:14:05 2005 +0200
@@ -69,6 +69,9 @@
 
 *** ML ***
 
+* Library: new module Pure/General/rat.ML implementing rational numbers,
+replacing the former functions in the Isabelle library.
+
 * Internal goals: structure Goal provides simple interfaces for
 init/conclude/finish and tactical prove operations (replacing former
 Tactic.prove).  Note that OldGoals.prove_goalw_cterm has long been