# HG changeset patch
# User nipkow
# Date 1206911875 -7200
# Node ID b4f0f36a28daf7ba281c6b6349a6eb9b17d927a4
# Parent  b4db4e1657588b2f9084e97643874497acab1d2a
*** empty log message ***

diff -r b4db4e165758 -r b4f0f36a28da NEWS
--- a/NEWS	Sat Mar 29 22:56:01 2008 +0100
+++ b/NEWS	Sun Mar 30 23:17:55 2008 +0200
@@ -144,6 +144,10 @@
 
 * Library/ListVector: new theory of arithmetic vector operations.
 
+* Library/Order_Relation: new theory of various orderings as sets of pairs.
+  Defines preorders, partial orders, linear orders and well-orders
+  on sets and on types.
+
 * Constants "card", "internal_split", "option_map" now with authentic
 syntax.  INCOMPATIBILITY.