\GAPDocLabFile{kan}
\makelabel{kan:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{kan:Abstract}{}{X7AA6C5737B711C89}
\makelabel{kan:Copyright}{}{X81488B807F2A1CF1}
\makelabel{kan:Acknowledgements}{}{X82A988D47DFAFCFA}
\makelabel{kan:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{kan:Introduction}{1}{X7DFB63A97E67C0A1}
\makelabel{kan:Double Coset Rewriting Systems}{2}{X7F197C8D835A6F45}
\makelabel{kan:Rewriting Systems}{2.1}{X7CA8FCFD81AA1890}
\makelabel{kan:Example 2 -- free product of two cyclic groups}{2.2}{X80B18B248603B3D6}
\makelabel{kan:Example 3 -- the trefoil group}{2.3}{X82FE46C27FE55A84}
\makelabel{kan:Example 4 -- an infinite rewriting system}{2.4}{X7ED711187E2ECAC7}
\makelabel{kan:Development History}{3}{X810C43BC7F63C4B4}
\makelabel{kan:Versions of the package}{3.1}{X8192EA4C7B7CC5CD}
\makelabel{kan:What needs doing next?}{3.2}{X83D1530487593182}
\makelabel{kan:Bibliography}{Bib}{X7A6F98FD85F02BFE}
\makelabel{kan:References}{Bib}{X7A6F98FD85F02BFE}
\makelabel{kan:Index}{Ind}{X83A0356F839C696F}
\makelabel{kan:KnuthBendixRewritingSystem}{2.1.1}{X87A3823483E4FF86}
\makelabel{kan:ReducedConfluentRewritingSystem}{2.1.1}{X87A3823483E4FF86}
\makelabel{kan:DisplayRwsRules}{2.1.1}{X87A3823483E4FF86}
\makelabel{kan:ReducedForm}{2.1.1}{X87A3823483E4FF86}
\makelabel{kan:NextWord}{2.1.2}{X7AF0265982B42E47}
\makelabel{kan:NextWords}{2.1.2}{X7AF0265982B42E47}
\makelabel{kan:example -- free product}{2.2}{X80B18B248603B3D6}
\makelabel{kan:DoubleCosetRewritingSystem}{2.2.1}{X825D1F4D85DE122D}
\makelabel{kan:IsDoubleCosetRewritingSystem}{2.2.1}{X825D1F4D85DE122D}
\makelabel{kan:DisplayAsString}{2.2.2}{X82E14C4284D89ADF}
\makelabel{kan:WordAcceptorOfReducedRws}{2.2.3}{X83FF05087E7B133A}
\makelabel{kan:WordAcceptorOfDoubleCosetRws}{2.2.3}{X83FF05087E7B133A}
\makelabel{kan:IsWordAcceptorOfDoubleCosetRws}{2.2.3}{X83FF05087E7B133A}
\makelabel{kan:example -- trefoil group}{2.3}{X82FE46C27FE55A84}
\makelabel{kan:trefoil group}{2.3}{X82FE46C27FE55A84}
\makelabel{kan:PartialDoubleCosetRewritingSystem}{2.3.1}{X83DE506B828F4B0D}
\makelabel{kan:WordAcceptorOfPartialDoubleCosetRws}{2.3.1}{X83DE506B828F4B0D}
\makelabel{kan:example -- infinite rws}{2.4}{X7ED711187E2ECAC7}
\makelabel{kan:KBMagRewritingSystem}{2.4.1}{X8722C57284F51940}
\makelabel{kan:KBMagWordAcceptor}{2.4.1}{X8722C57284F51940}
\makelabel{kan:KBMagFSAtoAutomataDFA}{2.4.1}{X8722C57284F51940}
\makelabel{kan:WordAcceptorByKBMag}{2.4.1}{X8722C57284F51940}
\makelabel{kan:WordAcceptorByKBMagOfDoubleCosetRws}{2.4.1}{X8722C57284F51940}
\makelabel{kan:DCrules}{2.4.2}{X815C08FD87D014B5}
\makelabel{kan:Hrules}{2.4.2}{X815C08FD87D014B5}
\makelabel{kan:Krules}{2.4.2}{X815C08FD87D014B5}
\makelabel{kan:HKrules}{2.4.2}{X815C08FD87D014B5}
\makelabel{kan:WordToString}{2.4.3}{X84B36973833F3B54}
\makelabel{kan:IdentityDoubleCoset}{2.4.3}{X84B36973833F3B54}
\makelabel{kan:DoubleCosetsAutomaton}{3.2.1}{X852CC057809CE3EE}
\makelabel{kan:RightCosetsAutomaton}{3.2.1}{X852CC057809CE3EE}
