--- a/NEWS Sun Feb 12 21:34:27 2006 +0100
+++ b/NEWS Sun Feb 12 21:34:28 2006 +0100
@@ -363,8 +363,8 @@
* Pure/General/rat.ML implements rational numbers.
* Pure/General/table.ML: the join operations now works via exceptions
-DUP/SAME instead of type option. This is simpler in simple cases, and
-admits slightly more efficient complex applications.
+DUP/SAME instead of type option. This is both simpler and admits
+slightly more efficient complex applications.
* Pure: datatype Context.generic joins theory/Proof.context and
provides some facilities for code that works in either kind of