# HG changeset patch
# User haftmann
# Date 1236347478 -3600
# Node ID aa44d67eea1667794467a3c7a43e93960d5944f9
# Parent  51797bcf4fd108524a59caa57ad38c7ff7bb1929
corrected slip in NEWS

diff -r 51797bcf4fd1 -r aa44d67eea16 NEWS
--- a/NEWS	Fri Mar 06 14:33:42 2009 +0100
+++ b/NEWS	Fri Mar 06 14:51:18 2009 +0100
@@ -222,7 +222,7 @@
 
 * New predicate "strict_mono" classifies strict functions on partial orders.
 With strict functions on linear orders, reasoning about (in)equalities is
-facilitated by theorems "strict_mono_eq", "strict_mono_eq" and "strict_mono_eq".
+facilitated by theorems "strict_mono_eq", "strict_mono_less_eq" and "strict_mono_less".
 
 * Auxiliary class "itself" has disappeared -- classes without any parameter
 are treated as expected by the 'class' command.