*** empty log message ***

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