Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authornipkow
Mon, 14 Jan 2008 16:15:55 +0100
changeset 25900 464f23aa905f
parent 25899 f344ff9e2041
child 25901 bb178c8251e0
*** empty log message ***
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle