all modifiers turned into attributes; realistic method syntax; smart_simp method;
all modifiers turned into attributes;
realistic method syntax;
smart_simp method;

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