# HG changeset patch
# User haftmann
# Date 1130393645 -7200
# Node ID ca0958ab32939fea67630090238ce506d0c30c5e
# Parent  86d462f305e0920630ae38d572d2339fd920dcac
added module Pure/General/rat.ML

diff -r 86d462f305e0 -r ca0958ab3293 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