\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {2}The User-Interface}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}How to include the package}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Defining New Theorem Sets}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Defining the Layout of Theorem Sets}{5}}
\newlabel{sec:general}{{2.3}{5}}[None]
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.1}Common Parameters for all Theorem Sets}{5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.2}Parameters for Individual Sets}{5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.3}Font Selection}{6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.4}Predefined theorem styles}{6}}
\newlabel{sec:predefdstyles}{{2.3.4}{6}}[None]
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.5}Default Setting}{6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.6}A Standard Set of Theorems}{7}}
\newlabel{sec:standard}{{2.3.6}{7}}[None]
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.7}Framed and Boxed Theorems}{7}}
\newlabel{sec:frames-and-boxes}{{2.3.7}{7}}[None]
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.8}Customization and Local Settings}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Generating Theoremlists}{8}}
\newlabel{sec:thmlists}{{2.4}{8}}[None]
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.1}Defining the List Layout}{8}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.2}Writing Extra Stuff to the Theorem File}{9}}
\@writefile{thm}{\contentsline {Example}{{Example}{0}{Extra Entry with number}}{9}}
\@writefile{thm}{\contentsline {Example}{{Example}{}{Extra Entry}}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}For Experts: Defining Layout Styles}{10}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.5.1}Defining New Theorem Layouts}{10}}
\newlabel{sec:newtheoremstyle}{{2.5.1}{10}}[None]
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.5.2}Defining New Theorem List Layouts}{10}}
\newlabel{sec:listtypes}{{2.5.2}{10}}[None]
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Setting End Marks}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7}Extended Referencing Features}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8}Miscellaneous}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Possible Interferences}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Interfering Document Options.}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Combination with amslatex.}{12}}
\newlabel{sec:amslatex}{{3.2}{12}}[None]
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}amsmath}{12}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2}amsthm}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Babel}{13}}
\newlabel{sec:babel}{{3.3}{13}}[None]
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Hyperref}{13}}
\newlabel{sec:hyperref}{{3.4}{13}}[None]
\@writefile{toc}{\contentsline {section}{\numberline {4}Examples}{13}}
\newlabel{sec:examples}{{4}{13}}[None]
\@writefile{thm}{\contentsline {Example}{{Example}{1}{Simple one}}{14}}
\@writefile{thm}{\contentsline {Theorem}{{Theorem}{1}{Long Theorem}}{14}}
\global\def\markiiExamplei{\ensuremath {\ast }}
\@writefile{thm}{\contentsline {Example}{{Example}{}{Extra Entry}}{15}}
\@writefile{thm}{\contentsline {Lemma}{{Lemma}{$\alpha $}{Display with array}}{15}}
\global\def\markiLemmaii{\ensuremath {\heartsuit }}
\@writefile{thm}{\contentsline {Lemma}{{Lemma}{$\beta $}{Equation}}{15}}
\global\def\markiiLemmai{\ensuremath {\heartsuit }}
\@writefile{thm}{\contentsline {Lemma}{{Lemma}{$\gamma $}{Breakstyle}}{15}}
\newlabel{breakstyle}{{$\gamma $}{15}}[Lemma]
\global\def\markiiiLemmaii{\ensuremath {\heartsuit }}
\@writefile{thm}{\contentsline {Proof}{{Proof}{1}{of nothing}}{16}}
\global\def\markiProofi{\rule {1ex}{1ex}}
\@writefile{thm}{\contentsline {Definition}{{Definition}{1}{With a list}}{16}}
\global\def\markiDefinitionii{\ensuremath {\clubsuit }}
\@writefile{thm}{\contentsline {Corollary}{{Corollary}{2}{Q.E.D.}}{16}}
\@writefile{thm}{\contentsline {Example}{{Example}{3}{}}{16}}
\@writefile{thm}{\contentsline {Example}{{Example}{4}{Using |verbatim|}}{16}}
\global\def\markivExamplei{\ensuremath {\ast }}
\@writefile{thm}{\contentsline {Theorem}{{Theorem}{3}{}}{17}}
\newlabel{ex-empty-line}{{3}{17}}[Theorem]
\global\def\markiiTheorem{\ensuremath {\diamondsuit }}
\newlabel{otherlabel}{{4}{17}}[Corollary]
\global\def\markiiCorollaryi{\ensuremath {\spadesuit }}
\@writefile{thm}{\contentsline {Corollary}{{Corollary}{4}{title in list}}{17}}
\@writefile{thm}{\contentsline {Theorem}{{Theorem}{5}{Quote}}{17}}
\global\def\markiiiTheoremi{\ensuremath {\diamondsuit }}
\@writefile{thm}{\contentsline {Theorem}{{Theorem}{6}{Manual End Mark}}{17}}
\newlabel{somelabel}{{6}{17}}[Theorem]
\@writefile{thm}{\contentsline {Example}{{Example}{5}{Quickie}}{17}}
\@writefile{thm}{\contentsline {Lemma}{{Lemma}{4}{}}{18}}
\@writefile{thm}{\contentsline {Theorem}{{Theorem}{7}{somename}}{18}}
\@writefile{thm}{\contentsline {KappaTheorem}{{\(\kappa \)-Theorem}{8}{1st \(\kappa \)-Theorem}}{18}}
\newlabel{kappatheorem1}{{8}{18}}[\(\kappa \)-Theorem]
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Extended Referencing Features}{18}}
\newlabel{sec-ExtRef}{{4.1}{18}}[Section]
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Framed and Shaded Theorems}{19}}
\@writefile{thm}{\contentsline {importantTheorem}{{Theorem}{9}{Important Theorem}}{19}}
\global\def\markiimportantTheorem{\ensuremath {\diamondsuit }}
\@writefile{thm}{\contentsline {moreImportantTheorem}{{Theorem}{10}{More Important Theorem}}{20}}
\@writefile{thm}{\contentsline {evenMoreImportantTheorem}{{Theorem}{11}{Even More Important Theorem}}{20}}
\@writefile{thm}{\contentsline {MostImportantTheorem}{{Theorem}{12}{Most Important Theorem}}{20}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Lists of Theorems and Friends}{20}}
\@writefile{thm}{\theoremlistdo{Example}{Only concerning Example lists}}
\@writefile{toc}{\contentsline {section}{\numberline {5}The End Mark Algorithm}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}The Idea}{22}}
\newlabel{elist:1}{{1}{22}}[None]
\newlabel{elist:2}{{2}{22}}[None]
\newlabel{elist:3}{{3}{22}}[None]
\newlabel{elist:4}{{4}{23}}[None]
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}The Realization}{23}}
\@writefile{thm}{\contentsline {Theorem}{{Theorem}{13}{Correctness}}{23}}
\global\def\markviTheoremi{\ensuremath {\diamondsuit }}
\@writefile{thm}{\contentsline {Theorem}{{Theorem}{14}{Completeness}}{24}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Problems and Questions}{24}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Known Limitations}{24}}
\@writefile{thm}{\contentsline {Lemma}{{Lemma}{5}{}}{24}}
\@writefile{thm}{\contentsline {Proof}{{Proof}{2}{}}{24}}
\global\def\markvLemmai{\ensuremath {\diamondsuit }}
\@writefile{thm}{\contentsline {Lemma}{{Lemma}{6}{}}{25}}
\@writefile{thm}{\contentsline {Proof}{{Proof}{3}{}}{25}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Known ``Bugs'' and Problems}{25}}
\@writefile{thm}{\contentsline {Theorem}{{Theorem}{15}{}}{25}}
\global\def\markviiiTheorem{\ensuremath {\diamondsuit }}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Open Questions}{26}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Code Documentation}{26}}
\newlabel{sec:code}{{7}{26}}[None]
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Documentation of the Macros}{26}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.1}Thmmarks-Related Stuff}{26}}
\@writefile{toc}{\contentsline {paragraph}{Changes to List Environment}{26}}
\newlabel{atendtrivlist}{{9}{27}}
\@writefile{toc}{\contentsline {paragraph}{Changes to Math Environments}{27}}
\newlabel{standard-endequation}{{24}{27}}
\newlabel{st-b-displ}{{27}{27}}
\newlabel{st-e-displ}{{44}{28}}
\newlabel{st-endeqnarray}{{61}{28}}
\newlabel{st-endeqnarray-star}{{70}{29}}
\@writefile{toc}{\contentsline {paragraph}{Changes to Tabbing Environment}{29}}
\@writefile{toc}{\contentsline {paragraph}{Changes to Center Environment}{29}}
\@writefile{toc}{\contentsline {paragraph}{Handling of Endmarks}{30}}
\newlabel{atendtheorem}{{93}{30}}
\newlabel{SetEndMark}{{108}{31}}
\@writefile{toc}{\contentsline {paragraph}{Writing to .aux file.}{32}}
\newlabel{bbsphack}{{115}{32}}
\newlabel{OrgThSymb}{{123}{32}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.2}Option leqno to Thmmarks}{32}}
\newlabel{Optleqno}{{133}{32}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.3}Option fleqn to Thmmarks}{33}}
\newlabel{fleqn-b-displ}{{142}{33}}
\newlabel{fleqn-e-displ}{{159}{33}}
\newlabel{fleqn-endeqn}{{172}{33}}
\newlabel{fleqn-endeqnarray}{{177}{34}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.4}Extended Referencing Facilities}{34}}
\newlabel{sec:Referencing}{{7.1.4}{34}}[None]
\newlabel{label}{{197}{34}}
\newlabel{newlabel}{{215}{35}}
\newlabel{testdef}{{227}{35}}
\newlabel{thref}{{235}{36}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.5}Option amsmath to Thmmarks}{36}}
\newlabel{EndTags}{{313}{38}}
\newlabel{OnlyEnd}{{322}{38}}
\newlabel{TagsPlus}{{330}{38}}
\newlabel{RestoreTags}{{339}{39}}
\newlabel{endgather}{{342}{39}}
\newlabel{endalign}{{352}{39}}
\newlabel{lendmultline}{{376}{40}}
\newlabel{rendmultline}{{379}{40}}
\newlabel{ams-e-displ}{{404}{41}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.6}Theorem-Layout Stuff}{41}}
\newlabel{newthmstyle}{{441}{42}}
\newlabel{renewthmstyle}{{447}{42}}
\@writefile{toc}{\contentsline {paragraph}{Predefined Theorem Styles}{42}}
\@writefile{toc}{\contentsline {paragraph}{Compatibility with amsthm.}{45}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.7}Theorem-Environment Handling Stuff}{46}}
\@writefile{toc}{\contentsline {paragraph}{Defining New Theorem-Environments.}{46}}
\newlabel{renewthm}{{621}{47}}
\newlabel{atnewthm}{{631}{47}}
\newlabel{atrenewthm}{{679}{49}}
\newlabel{nthm}{{686}{50}}
\newlabel{othm}{{695}{50}}
\newlabel{xnthm}{{710}{51}}
\newlabel{ynthm}{{722}{52}}
\@writefile{toc}{\contentsline {paragraph}{Handling Instances of Theorem-Environments.}{52}}
\newlabel{atthm}{{732}{52}}
\newlabel{xthm}{{752}{53}}
\newlabel{ythm}{{757}{53}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.8}Framed and Boxed Theorems}{54}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.9}Generation of Theorem Lists}{55}}
\newlabel{sec:CodeLists}{{7.1.9}{55}}[None]
\newlabel{thmcaption}{{795}{55}}
\@writefile{toc}{\contentsline {paragraph}{Theoremlists and Hyperref}{56}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.10}Auxiliary macros}{61}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {7.1.11}Other Things}{62}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2}The Standard Configuration}{62}}
\@writefile{toc}{\contentsline {section}{\numberline {8}History and Acknowledgements}{63}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1}The endmark-Story (Wolfgang May)}{63}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2}Lists, Lists, Lists (Andreas Schedler)}{63}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3}Let's come together}{64}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4}Acknowledgements}{64}}