# HG changeset patch
# User ballarin
# Date 1185351541 -7200
# Node ID 5a3ec03c825bd218ef6315593b56af6bcc1ff0b7
# Parent  9a18596359789f9117bc07f9e8f72e7ab72c9d60
tuned

diff -r 9a1859635978 -r 5a3ec03c825b NEWS
--- a/NEWS	Tue Jul 24 23:55:28 2007 +0200
+++ b/NEWS	Wed Jul 25 10:19:01 2007 +0200
@@ -373,8 +373,8 @@
   interpretation partial_order ["op <= :: [int, int] => bool"]
     where "partial_order.less (op <=) (x::int) y = (x < y)"
 
-Typically, the constant `partial_order.less' is created by the
-specification element definition in the context of locale partial_order.
+Typically, the constant `partial_order.less' is created by a definition
+specification element in the context of locale partial_order.
 
 * Provers/induct: improved internal context management to support
 local fixes and defines on-the-fly.  Thus explicit meta-level