--- a/NEWS Mon Aug 16 17:38:52 1999 +0200
+++ b/NEWS Mon Aug 16 17:42:37 1999 +0200
@@ -171,7 +171,6 @@
course, ML tools referring to List.list.op # etc. have to be adapted;
-
*** LK ***
* the notation <<...>> is now available as a notation for sequences of