\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\citation{anne-thesis}
\citation{BrHe}
\citation{BrGhHeWe}
\citation{SteveL}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color  {Chapter }Introduction}}{4}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{intro}{{1}{4}{\textcolor {Chapter }{Introduction}\relax }{chapter.1}{}}
\@writefile{brf}{\backcite{anne-thesis}{{4}{1}{chapter.1}}}
\@writefile{brf}{\backcite{BrHe}{{4}{1}{chapter.1}}}
\@writefile{brf}{\backcite{BrGhHeWe}{{4}{1}{chapter.1}}}
\@writefile{brf}{\backcite{SteveL}{{4}{1}{chapter.1}}}
\citation{BrGhHeWe}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Double Coset Rewriting Systems}}{5}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap-dcrws}{{2}{5}{\textcolor {Chapter }{Double Coset Rewriting Systems}\relax }{chapter.2}{}}
\@writefile{brf}{\backcite{BrGhHeWe}{{5}{2}{chapter.2}}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color  {Chapter }Rewriting Systems}}{5}{section.2.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}\leavevmode {\color  {Chapter }KnuthBendixRewritingSystem}}{5}{subsection.2.1.1}}
\newlabel{KnuthBendixRewritingSystem}{{2.1.1}{5}{\textcolor {Chapter }{KnuthBendixRewritingSystem}\relax }{subsection.2.1.1}{}}
\newlabel{ReducedConfluentRewritingSystem}{{2.1.1}{5}{\textcolor {Chapter }{KnuthBendixRewritingSystem}\relax }{subsection.2.1.1}{}}
\newlabel{DisplayRwsRules}{{2.1.1}{5}{\textcolor {Chapter }{KnuthBendixRewritingSystem}\relax }{subsection.2.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color  {Chapter }Example 1 -- free product of two cyclic groups}}{6}{section.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color  {Chapter }DoubleCosetRewritingSystem}}{6}{subsection.2.2.1}}
\newlabel{DoubleCosetRewritingSystem}{{2.2.1}{6}{\textcolor {Chapter }{DoubleCosetRewritingSystem}\relax }{subsection.2.2.1}{}}
\newlabel{IsDoubleCosetRewritingSystem}{{2.2.1}{6}{\textcolor {Chapter }{DoubleCosetRewritingSystem}\relax }{subsection.2.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color  {Chapter }WordAcceptorOfReducedRws}}{7}{subsection.2.2.2}}
\newlabel{WordAcceptorOfReducedRws}{{2.2.2}{7}{\textcolor {Chapter }{WordAcceptorOfReducedRws}\relax }{subsection.2.2.2}{}}
\newlabel{WordAcceptorOfDoubleCosetRws}{{2.2.2}{7}{\textcolor {Chapter }{WordAcceptorOfReducedRws}\relax }{subsection.2.2.2}{}}
\newlabel{IsWordAcceptorOfDoubleCosetRws}{{2.2.2}{7}{\textcolor {Chapter }{WordAcceptorOfReducedRws}\relax }{subsection.2.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color  {Chapter }Example 2 -- the trefoil group}}{7}{section.2.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color  {Chapter }PartialDoubleCosetRewritingSystem}}{7}{subsection.2.3.1}}
\newlabel{PartialDoubleCosetRewritingSystem}{{2.3.1}{7}{\textcolor {Chapter }{PartialDoubleCosetRewritingSystem}\relax }{subsection.2.3.1}{}}
\newlabel{WordAcceptorOfPartialDoubleCosetRws}{{2.3.1}{7}{\textcolor {Chapter }{PartialDoubleCosetRewritingSystem}\relax }{subsection.2.3.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}\leavevmode {\color  {Chapter }Example 3 -- an infinite rewriting system}}{9}{section.2.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color  {Chapter }KBMagRewritingSystem}}{9}{subsection.2.4.1}}
\newlabel{KBMagRewritingSystem}{{2.4.1}{9}{\textcolor {Chapter }{KBMagRewritingSystem}\relax }{subsection.2.4.1}{}}
\newlabel{KBMagWordAcceptor}{{2.4.1}{9}{\textcolor {Chapter }{KBMagRewritingSystem}\relax }{subsection.2.4.1}{}}
\newlabel{KBMagFSAtoAutomataDFA}{{2.4.1}{9}{\textcolor {Chapter }{KBMagRewritingSystem}\relax }{subsection.2.4.1}{}}
\newlabel{WordAcceptorByKBMag}{{2.4.1}{9}{\textcolor {Chapter }{KBMagRewritingSystem}\relax }{subsection.2.4.1}{}}
\newlabel{WordAcceptorByKBMagOfDoubleCosetRws}{{2.4.1}{9}{\textcolor {Chapter }{KBMagRewritingSystem}\relax }{subsection.2.4.1}{}}
\citation{BrGhHeWe}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}\leavevmode {\color  {Chapter }DCrules}}{10}{subsection.2.4.2}}
\newlabel{DCrules}{{2.4.2}{10}{\textcolor {Chapter }{DCrules}\relax }{subsection.2.4.2}{}}
\newlabel{Hrules}{{2.4.2}{10}{\textcolor {Chapter }{DCrules}\relax }{subsection.2.4.2}{}}
\newlabel{Krules}{{2.4.2}{10}{\textcolor {Chapter }{DCrules}\relax }{subsection.2.4.2}{}}
\newlabel{HKrules}{{2.4.2}{10}{\textcolor {Chapter }{DCrules}\relax }{subsection.2.4.2}{}}
\@writefile{brf}{\backcite{BrGhHeWe}{{10}{2.4.2}{subsection.2.4.2}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.3}\leavevmode {\color  {Chapter }NextWord}}{11}{subsection.2.4.3}}
\newlabel{NextWord}{{2.4.3}{11}{\textcolor {Chapter }{NextWord}\relax }{subsection.2.4.3}{}}
\newlabel{WordToString}{{2.4.3}{11}{\textcolor {Chapter }{NextWord}\relax }{subsection.2.4.3}{}}
\newlabel{DisplayAsString}{{2.4.3}{11}{\textcolor {Chapter }{NextWord}\relax }{subsection.2.4.3}{}}
\newlabel{IdentityDoubleCoset}{{2.4.3}{12}{\textcolor {Chapter }{NextWord}\relax }{subsection.2.4.3}{}}
\citation{anne-thesis}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter }Development History}}{13}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap-history}{{3}{13}{\textcolor {Chapter }{Development History}\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter }Versions of the package}}{13}{section.3.1}}
\@writefile{brf}{\backcite{anne-thesis}{{13}{3.1}{section.3.1}}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color  {Chapter }What needs doing next?}}{13}{section.3.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color  {Chapter }DoubleCosetsAutomaton}}{13}{subsection.3.2.1}}
\newlabel{DoubleCosetsAutomaton}{{3.2.1}{13}{\textcolor {Chapter }{DoubleCosetsAutomaton}\relax }{subsection.3.2.1}{}}
\newlabel{RightCosetsAutomaton}{{3.2.1}{13}{\textcolor {Chapter }{DoubleCosetsAutomaton}\relax }{subsection.3.2.1}{}}
\bibstyle{alpha}
\bibdata{manual}
\bibcite{BrGhHeWe}{BGHW06}
\bibcite{BrHe}{BH00}
\bibcite{anne-thesis}{Hey99}
\bibcite{SteveL}{Lin91}
