moved name space externalization flags back to name_space.ML; added pure version extern_flags; do not export internal get_accesses;
moved name space externalization flags back to name_space.ML;
added pure version extern_flags;
do not export internal get_accesses;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle