[isabelle-dev] popup in ce6320b9ef9b

[Tobias Nipkow]

In more than one example of locale interpretations with "where f = g", where g 
is a constant, if I hover over the g, the popup shows the type of g twice.

Tobias

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5132 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20151118/4b351aef/attachment.p7s>