removed obsolete verbatim_source, results, chapter, section etc.; removed redundant end_index, end_theory;
removed obsolete verbatim_source, results, chapter, section etc.;
removed redundant end_index, end_theory;

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