# HG changeset patch
# User nipkow
# Date 1200323755 -3600
# Node ID 464f23aa905ff3bf634a29816dd43cdc2092dcbe
# Parent  f344ff9e2041de84bd63cbea72e002fd79d51197
*** empty log message ***

diff -r f344ff9e2041 -r 464f23aa905f NEWS
--- a/NEWS	Mon Jan 14 11:45:57 2008 +0100
+++ b/NEWS	Mon Jan 14 16:15:55 2008 +0100
@@ -37,6 +37,8 @@
 
 * Library/Multiset: {#a, b, c#} abbreviates {#a#} + {#b#} + {#c#}.
 
+* Library/ListSpace: new theory of arithmetic vector operations.
+
 * Constants "card", "internal_split", "option_map" now with authentic
 syntax.