\begin{theindex}

  \item \texttt  {DCrules}, \hyperpage{10}
  \item \texttt  {DisplayAsString}, \hyperpage{11}
  \item \texttt  {DisplayRwsRules}, \hyperpage{5}
  \item \texttt  {DoubleCosetRewritingSystem}, \hyperpage{6}
  \item \texttt  {DoubleCosetsAutomaton}, \hyperpage{13}

  \indexspace

  \item example -- free product, \hyperpage{6}
  \item example -- infinite rws, \hyperpage{9}
  \item example -- trefoil group, \hyperpage{7}

  \indexspace

  \item \texttt  {HKrules}, \hyperpage{10}
  \item \texttt  {Hrules}, \hyperpage{10}

  \indexspace

  \item \texttt  {IdentityDoubleCoset}, \hyperpage{12}
  \item \texttt  {IsDoubleCosetRewritingSystem}, \hyperpage{6}
  \item \texttt  {IsWordAcceptorOfDoubleCosetRws}, \hyperpage{7}

  \indexspace

  \item \texttt  {KBMagFSAtoAutomataDFA}, \hyperpage{9}
  \item \texttt  {KBMagRewritingSystem}, \hyperpage{9}
  \item \texttt  {KBMagWordAcceptor}, \hyperpage{9}
  \item \texttt  {KnuthBendixRewritingSystem}, \hyperpage{5}
  \item \texttt  {Krules}, \hyperpage{10}

  \indexspace

  \item \texttt  {NextWord}, \hyperpage{11}

  \indexspace

  \item \texttt  {PartialDoubleCosetRewritingSystem}, \hyperpage{7}

  \indexspace

  \item \texttt  {ReducedConfluentRewritingSystem}, \hyperpage{5}
  \item \texttt  {RightCosetsAutomaton}, \hyperpage{13}

  \indexspace

  \item trefoil group, \hyperpage{7}

  \indexspace

  \item \texttt  {WordAcceptorByKBMag}, \hyperpage{9}
  \item \texttt  {WordAcceptorByKBMagOfDoubleCosetRws}, \hyperpage{9}
  \item \texttt  {WordAcceptorOfDoubleCosetRws}, \hyperpage{7}
  \item \texttt  {WordAcceptorOfPartialDoubleCosetRws}, \hyperpage{7}
  \item \texttt  {WordAcceptorOfReducedRws}, \hyperpage{7}
  \item \texttt  {WordToString}, \hyperpage{11}

\end{theindex}