Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added module Pure/General/rat.ML
authorhaftmann
Thu, 27 Oct 2005 08:14:05 +0200
changeset 17991 ca0958ab3293
parent 17990 86d462f305e0
child 17992 4379d46c8e13
added module Pure/General/rat.ML
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle