#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "Kan",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ], 
  [ "Abstract", ".-1", [ 0, 0, 1 ], 32, 2, "abstract", "X7AA6C5737B711C89" ], 
  [ "Copyright", ".-2", [ 0, 0, 2 ], 45, 2, "copyright", "X81488B807F2A1CF1" ], 
  [ "Acknowledgements", ".-3", [ 0, 0, 3 ], 50, 2, "acknowledgements", "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", ".-4", [ 0, 0, 4 ], 77, 3, "table of contents", "X8537FEB07AF2BEC8" ]
    , [ "\033[1XIntroduction\033[0X", "1", [ 1, 0, 0 ], 1, 4, "introduction", 
      "X7DFB63A97E67C0A1" ], 
  [ "\033[1XDouble Coset Rewriting Systems\033[0X", "2", [ 2, 0, 0 ], 1, 5, 
      "double coset rewriting systems", "X7F197C8D835A6F45" ], 
  [ "\033[1XRewriting Systems\033[0X", "2.1", [ 2, 1, 0 ], 9, 5, "rewriting systems", 
      "X7CA8FCFD81AA1890" ], 
  [ "\033[1XExample 1 -- free product of two cyclic groups\033[0X", "2.2", [ 2, 2, 0 ], 46, 
      6, "example 1 -- free product of two cyclic groups", "X846F0B22859B601A" ], 
  [ "\033[1XExample 2 -- the trefoil group\033[0X", "2.3", [ 2, 3, 0 ], 149, 7, 
      "example 2 -- the trefoil group", "X838CC08E7E92EBC0" ], 
  [ "\033[1XExample 3 -- an infinite rewriting system\033[0X", "2.4", [ 2, 4, 0 ], 253, 9, 
      "example 3 -- an infinite rewriting system", "X86DACE357868DC1B" ], 
  [ "\033[1XDevelopment History\033[0X", "3", [ 3, 0, 0 ], 1, 13, "development history", 
      "X810C43BC7F63C4B4" ], 
  [ "\033[1XVersions of the package\033[0X", "3.1", [ 3, 1, 0 ], 4, 13, 
      "versions of the package", "X8192EA4C7B7CC5CD" ], 
  [ "\033[1XWhat needs doing next?\033[0X", "3.2", [ 3, 2, 0 ], 28, 13, 
      "what needs doing next?", "X83D1530487593182" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 15, "bibliography", "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 15, "references", "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 16, "index", "X83A0356F839C696F" ], 
  [ "\033[2XKnuthBendixRewritingSystem\033[0X", "2.1-1", [ 2, 1, 1 ], 12, 5, 
      "knuthbendixrewritingsystem", "X87A3823483E4FF86" ], 
  [ "\033[2XReducedConfluentRewritingSystem\033[0X", "2.1-1", [ 2, 1, 1 ], 12, 5, 
      "reducedconfluentrewritingsystem", "X87A3823483E4FF86" ], 
  [ "\033[2XDisplayRwsRules\033[0X", "2.1-1", [ 2, 1, 1 ], 12, 5, "displayrwsrules", 
      "X87A3823483E4FF86" ], 
  [ "example -- free product", "2.2", [ 2, 2, 0 ], 46, 6, "example -- free product", 
      "X846F0B22859B601A" ], 
  [ "\033[2XDoubleCosetRewritingSystem\033[0X", "2.2-1", [ 2, 2, 1 ], 49, 6, 
      "doublecosetrewritingsystem", "X825D1F4D85DE122D" ], 
  [ "\033[2XIsDoubleCosetRewritingSystem\033[0X", "2.2-1", [ 2, 2, 1 ], 49, 6, 
      "isdoublecosetrewritingsystem", "X825D1F4D85DE122D" ], 
  [ "\033[2XWordAcceptorOfReducedRws\033[0X", "2.2-2", [ 2, 2, 2 ], 106, 7, 
      "wordacceptorofreducedrws", "X83FF05087E7B133A" ], 
  [ "\033[2XWordAcceptorOfDoubleCosetRws\033[0X", "2.2-2", [ 2, 2, 2 ], 106, 7, 
      "wordacceptorofdoublecosetrws", "X83FF05087E7B133A" ], 
  [ "\033[2XIsWordAcceptorOfDoubleCosetRws\033[0X", "2.2-2", [ 2, 2, 2 ], 106, 7, 
      "iswordacceptorofdoublecosetrws", "X83FF05087E7B133A" ], 
  [ "example -- trefoil group", "2.3", [ 2, 3, 0 ], 149, 7, "example -- trefoil group", 
      "X838CC08E7E92EBC0" ], [ "trefoil group", "2.3", [ 2, 3, 0 ], 149, 7, "trefoil group", 
      "X838CC08E7E92EBC0" ], 
  [ "\033[2XPartialDoubleCosetRewritingSystem\033[0X", "2.3-1", [ 2, 3, 1 ], 152, 7, 
      "partialdoublecosetrewritingsystem", "X83DE506B828F4B0D" ], 
  [ "\033[2XWordAcceptorOfPartialDoubleCosetRws\033[0X", "2.3-1", [ 2, 3, 1 ], 152, 7, 
      "wordacceptorofpartialdoublecosetrws", "X83DE506B828F4B0D" ], 
  [ "example -- infinite rws", "2.4", [ 2, 4, 0 ], 253, 9, "example -- infinite rws", 
      "X86DACE357868DC1B" ], 
  [ "\033[2XKBMagRewritingSystem\033[0X", "2.4-1", [ 2, 4, 1 ], 256, 9, 
      "kbmagrewritingsystem", "X8722C57284F51940" ], 
  [ "\033[2XKBMagWordAcceptor\033[0X", "2.4-1", [ 2, 4, 1 ], 256, 9, "kbmagwordacceptor", 
      "X8722C57284F51940" ], 
  [ "\033[2XKBMagFSAtoAutomataDFA\033[0X", "2.4-1", [ 2, 4, 1 ], 256, 9, 
      "kbmagfsatoautomatadfa", "X8722C57284F51940" ], 
  [ "\033[2XWordAcceptorByKBMag\033[0X", "2.4-1", [ 2, 4, 1 ], 256, 9, "wordacceptorbykbmag", 
      "X8722C57284F51940" ], [ "\033[2XWordAcceptorByKBMagOfDoubleCosetRws\033[0X", "2.4-1", 
      [ 2, 4, 1 ], 256, 9, "wordacceptorbykbmagofdoublecosetrws", "X8722C57284F51940" ], 
  [ "\033[2XDCrules\033[0X", "2.4-2", [ 2, 4, 2 ], 299, 10, "dcrules", "X815C08FD87D014B5" ], 
  [ "\033[2XHrules\033[0X", "2.4-2", [ 2, 4, 2 ], 299, 10, "hrules", "X815C08FD87D014B5" ], 
  [ "\033[2XKrules\033[0X", "2.4-2", [ 2, 4, 2 ], 299, 10, "krules", "X815C08FD87D014B5" ], 
  [ "\033[2XHKrules\033[0X", "2.4-2", [ 2, 4, 2 ], 299, 10, "hkrules", "X815C08FD87D014B5" ], 
  [ "\033[2XNextWord\033[0X", "2.4-3", [ 2, 4, 3 ], 381, 11, "nextword", "X7AF0265982B42E47" ]
    , [ "\033[2XWordToString\033[0X", "2.4-3", [ 2, 4, 3 ], 381, 11, "wordtostring", 
      "X7AF0265982B42E47" ], 
  [ "\033[2XDisplayAsString\033[0X", "2.4-3", [ 2, 4, 3 ], 381, 11, "displayasstring", 
      "X7AF0265982B42E47" ], 
  [ "\033[2XIdentityDoubleCoset\033[0X", "2.4-3", [ 2, 4, 3 ], 381, 11, "identitydoublecoset",
      "X7AF0265982B42E47" ], 
  [ "\033[2XDoubleCosetsAutomaton\033[0X", "3.2-1", [ 3, 2, 1 ], 44, 13, 
      "doublecosetsautomaton", "X852CC057809CE3EE" ], 
  [ "\033[2XRightCosetsAutomaton\033[0X", "3.2-1", [ 3, 2, 1 ], 44, 13, 
      "rightcosetsautomaton", "X852CC057809CE3EE" ] ]
);