[isabelle-dev] NEWS: limited name space accesses

Tobias Nipkow nipkow at in.tum.de
Tue Apr 7 14:43:42 CEST 2015

On 07/04/2015 14:37, Christian Sternagel wrote:
>   (b) qualified

That gets my vote because it expresses clearly the description Makarius gave: 
"name space entry that is only accessible by qualified names"


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5059 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20150407/a94015db/attachment.bin>

More information about the isabelle-dev mailing list