# HG changeset patch
# User wenzelm
# Date 1224193621 -7200
# Node ID 2dbbf5ea56892defb81f1d51c0de9ea974d549c8
# Parent  3a4ed60b6b7e5c931588db5a659dd4a42101eb58
tuned;

diff -r 3a4ed60b6b7e -r 2dbbf5ea5689 NEWS
--- a/NEWS	Thu Oct 16 23:21:23 2008 +0200
+++ b/NEWS	Thu Oct 16 23:47:01 2008 +0200
@@ -57,8 +57,8 @@
   lemma assumes "SORT_CONSTRAINT('a::empty)" shows False ...
 
 The result contains an implicit sort hypotheses as before --
-SORT_CONSTRAINT premises are is eliminated as part of the canonical
-rule normalization.
+SORT_CONSTRAINT premises are eliminated as part of the canonical rule
+normalization.
 
 * Changed defaults for unify configuration options: