--- 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