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
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev