# HG changeset patch
# User haftmann
# Date 1213988477 -7200
# Node ID 2dbdfa4959821a54dded4b8a35309f861decad88
# Parent  720c8115d7237b0aeabe25465d91a0a27da72203
(removed non-present change)

diff -r 720c8115d723 -r 2dbdfa495982 NEWS
--- a/NEWS	Fri Jun 20 21:00:28 2008 +0200
+++ b/NEWS	Fri Jun 20 21:01:17 2008 +0200
@@ -45,9 +45,6 @@
     Suc_Suc_eq                  ~> nat.inject
     Suc_not_Zero Zero_not_Suc   ~> nat.distinct
 
-* 'Least' operator now restricted to class 'order' (and subclasses).
-INCOMPATIBILITY.
-
 * Library/Nat_Infinity: added addition, numeral syntax and more
 instantiations for algebraic structures.  Removed some duplicate
 theorems.  Changes in simp rules.  INCOMPATIBILITY.