[isabelle-dev] popup in ce6320b9ef9b

Tobias Nipkow nipkow at in.tum.de
Wed Nov 18 10:03:17 CET 2015

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.


-------------- 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>

More information about the isabelle-dev mailing list