[isabelle-dev] NEWS: limited name space accesses

[Tobias Nipkow]

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"

Tobias

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