[isabelle-dev] NEWS

Fri, 30 Nov 2007 15:42:06 +0100 

Library/Multiset: {#a, b, c#} is new short syntax for {#a#} + {#b#} + {#c#}.

Tobias

Reply via email to