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