added 'defn' attribute; attribute (un)folded: option '(raw)';
added 'defn' attribute;
attribute (un)folded: option '(raw)';

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