init/exit no longer change the theory (no naming); added naming, restore_naming, mapping;
init/exit no longer change the theory (no naming);
added naming, restore_naming, mapping;

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