obtain; moved pure methods / atts to pure.tex; tuned;
obtain;
moved pure methods / atts to pure.tex;
tuned;

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