[isabelle-dev] NEWS
Tobias Nipkow
nipkow at in.tum.de
Fri Nov 30 15:42:06 CET 2007
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] [polyml] Forthcoming 5.1 release (fwd)
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Library/Multiset: {#a, b, c#} is new short syntax for {#a#} + {#b#} + {#c#}. Tobias
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] [polyml] Forthcoming 5.1 release (fwd)
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list