# HG changeset patch
# User nipkow
# Date 1112875660 -7200
# Node ID 8770edbf8f288adffb53ae5bcff06d0ad6eb8893
# Parent  042692b6275d6eca4249f752b3ae7762d1737eff
*** empty log message ***

diff -r 042692b6275d -r 8770edbf8f28 NEWS
--- a/NEWS	Thu Apr 07 13:29:41 2005 +0200
+++ b/NEWS	Thu Apr 07 14:07:40 2005 +0200
@@ -514,6 +514,9 @@
   also an x-symbol version with subscripts "\<Union>\<^bsub>i <= n\<^esub>. A"
   like in normal math, and corresponding versions for < and for intersection.
 
+* HOL/List: Ordering "lexico" is renamed "lenlex" and the standard
+  lexicographic dictonary ordering has been added as "lexord".
+
 * ML: the legacy theory structures Int and List have been removed. They had
   conflicted with ML Basis Library structures having the same names.