| changeset 25900 | 464f23aa905f |
| parent 25855 | 3aa0d86b4398 |
| child 25919 | 8b1c0d434824 |
--- 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.