name space for local thms (export cond_extern, qualified); improved internal naming of fixes;
name space for local thms (export cond_extern, qualified);
improved internal naming of fixes;

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