--- a/NEWS Wed Jun 01 20:59:16 2016 +0200
+++ b/NEWS Wed Jun 01 21:24:51 2016 +0200
@@ -348,10 +348,10 @@
*** ML ***
* Structure Rat for rational numbers is now an integral part of
-Isabelle/ML, with special notation @int/nat for numerals (an
-abbreviation for antiquotation @{Pure.rat int/nat}) and ML pretty
+Isabelle/ML, with special notation @int/nat or @int for numerals (an
+abbreviation for antiquotation @{Pure.rat argument}) and ML pretty
printing. Standard operations on type Rat.rat are provided via ad-hoc
-overloading of + - * / = < <= > >= <> ~ abs. INCOMPATIBILITY, need to
+overloading of + - * / < <= > >= ~ abs. INCOMPATIBILITY, need to
use + instead of +/ etc. Moreover, exception Rat.DIVZERO has been
superseded by General.Div.