# HG changeset patch
# User nipkow
# Date 902578345 -7200
# Node ID 80c75c862a8f9594db1b6dae0db72287d693f75b
# Parent  f4d16517b3604903ff49fde13bf99f00641df22b
*** empty log message ***

diff -r f4d16517b360 -r 80c75c862a8f NEWS
--- a/NEWS	Sat Aug 08 14:00:56 1998 +0200
+++ b/NEWS	Sat Aug 08 14:12:25 1998 +0200
@@ -202,8 +202,10 @@
 
 * HOL/Vimage: new theory for inverse image of a function, syntax f-``B;
 
-* HOL/List: new function list_update written xs[i:=v] that updates the i-th
-  list position. May also be iterated as in xs[i:=a,j:=b,...].
+* HOL/List:
+  - new function list_update written xs[i:=v] that updates the i-th
+    list position. May also be iterated as in xs[i:=a,j:=b,...].
+  - new lexicographic orderings and corresponding wellfoundedness theorems.
 
 * HOL/Arith:
   - removed 'pred' (predecessor) function;