[isabelle-dev] NEWS

Tobias Nipkow nipkow at in.tum.de
Fri Nov 30 15:42:06 CET 2007


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

Tobias



More information about the isabelle-dev mailing list