pure methods / atts moved here; tactic emulation moved here; oops moved here; history commands; tuned;
pure methods / atts moved here;
tactic emulation moved here;
oops moved here;
history commands;
tuned;

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