[isabelle-dev] NEWS

[Florian Haftmann]

* Command "instance" now takes list of definitions in the same manner as
the "definition" command.  Most notably, object equality is now
possible.  Type inference is more canonical than it used to be.
INCOMPATIBILITY: in some cases explicit type annotations are required.


	Florian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: florian.haftmann.vcf
Type: text/x-vcard
Size: 654 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20071129/8f749b49/attachment-0002.vcf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 185 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20071129/8f749b49/attachment.sig>