reimplemented theory presentation, with support for tagged command regions; tuned antiquotation output;
reimplemented theory presentation, with support for tagged command regions;
tuned antiquotation output;

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