\begin{theindex}

  \item * for groupoid elements, \hyperpage{14}
  \item \texttt{\symbol{92}}\texttt{\symbol{94}}\texttt{\symbol{123}}\texttt{\symbol{125}} for groupoid elements, 
		\hyperpage{18}
  \item \texttt  {\texttt  {\char 92\relax }\texttt  {\char 94\relax }}, 
		\hyperpage{18}

  \indexspace

  \item \texttt  {Arrow}, \hyperpage{14}
  \item \texttt  {Arrowhead}, \hyperpage{14}
  \item \texttt  {Arrowtail}, \hyperpage{14}

  \indexspace

  \item \texttt  {DigraphOfGraphOfGroupoids}, \hyperpage{29}
  \item \texttt  {DigraphOfGraphOfGroups}, \hyperpage{23}
  \item \texttt  {DiscreteIdentitySubgroupoid}, \hyperpage{15}
  \item \texttt  {DiscreteSubgroupoid}, \hyperpage{15}
  \item \texttt  {DoubleCoset}, \hyperpage{17}
  \item \texttt  {DoubleCosetRepresentatives}, \hyperpage{17}
  \item \texttt  {DoubleCosetsNC}, \hyperpage{18}

  \indexspace

  \item \texttt  {FpWeightedDigraph}, \hyperpage{22}
  \item \texttt  {FreeProductWithAmalgamation}, \hyperpage{26}
  \item \texttt  {FullIdentitySubgroupoid}, \hyperpage{15}
  \item \texttt  {FullSubgroupoid}, \hyperpage{15}

  \indexspace

  \item \texttt  {GGHead}, \hyperpage{25}
  \item \texttt  {GGTail}, \hyperpage{25}
  \item \texttt  {GraphOfGroupoids}, \hyperpage{29}
  \item \texttt  {GraphOfGroupoidsOfWord}, \hyperpage{30}
  \item \texttt  {GraphOfGroupoidsWord}, \hyperpage{30}
  \item \texttt  {GraphOfGroups}, \hyperpage{23}
  \item \texttt  {GraphOfGroupsOfWord}, \hyperpage{25}
  \item \texttt  {GraphOfGroupsRewritingSystem}, \hyperpage{26}
  \item \texttt  {GraphOfGroupsWord}, \hyperpage{25}
  \item \texttt  {Groupoid}, \hyperpage{12}
  \item \texttt  {GroupoidElement}, \hyperpage{14}
  \item \texttt  {GroupoidHomomorphism}, \hyperpage{20}
  \item \texttt  {GroupoidHomomorphismFromSinglePiece}, \hyperpage{20}
  \item \texttt  {GroupoidsOfGraphOfGroupoids}, \hyperpage{29}
  \item \texttt  {GroupsOfGraphOfGroups}, \hyperpage{23}

  \indexspace

  \item \texttt  {HnnExtension}, \hyperpage{28}
  \item \texttt  {HomomorphismByUnion}, \hyperpage{10}
  \item \texttt  {HomomorphismToSinglePiece}, \hyperpage{10}
  \item \texttt  {Homset}, \hyperpage{16}

  \indexspace

  \item \texttt  {IdentityElement}, \hyperpage{17}
  \item \texttt  {InvolutoryArcs}, \hyperpage{22}
  \item \texttt  {IsDirectProductWithCompleteGraph}, \hyperpage{8}
  \item \texttt  {IsDiscrete}, \hyperpage{15}
  \item \texttt  {IsElementOfGroupoid}, \hyperpage{14}
  \item \texttt  {IsFpaGroup}, \hyperpage{26}
  \item \texttt  {IsFpGroupoid}, \hyperpage{13}
  \item \texttt  {IsFpWeightedDigraph}, \hyperpage{22}
  \item \texttt  {IsGraphOfFpGroupoids}, \hyperpage{29}
  \item \texttt  {IsGraphOfFpGroups}, \hyperpage{24}
  \item \texttt  {IsGraphOfGroupoidsWord}, \hyperpage{30}
  \item \texttt  {IsGraphOfGroupsWord}, \hyperpage{25}
  \item \texttt  {IsGraphOfPcGroups}, \hyperpage{24}
  \item \texttt  {IsGraphOfPermGroupoids}, \hyperpage{29}
  \item \texttt  {IsGraphOfPermGroups}, \hyperpage{24}
  \item \texttt  {IsHnnGroup}, \hyperpage{28}
  \item \texttt  {IsomorphismsOfGraphOfGroupoids}, \hyperpage{29}
  \item \texttt  {IsomorphismsOfGraphOfGroups}, \hyperpage{23}
  \item \texttt  {IsPcGroupoid}, \hyperpage{13}
  \item \texttt  {IsPermGroupoid}, \hyperpage{13}
  \item \texttt  {IsReducedGraphOfGroupoidsWord}, \hyperpage{30}
  \item \texttt  {IsReducedGraphOfGroupsWord}, \hyperpage{26}
  \item \texttt  {IsSinglePiece}, \hyperpage{8}, \hyperpage{15}

  \indexspace

  \item \texttt  {LeftCoset}, \hyperpage{17}
  \item \texttt  {LeftCosetRepresentatives}, \hyperpage{17}
  \item \texttt  {LeftCosetRepresentativesFromObject}, \hyperpage{17}
  \item \texttt  {LeftCosetsNC}, \hyperpage{17}
  \item \texttt  {LeftTransversalsOfGraphOfGroups}, \hyperpage{25}
  \item \texttt  {LefvtTransversalsOfGraphOfGroupoids}, \hyperpage{29}

  \indexspace

  \item \texttt  {MagmaHomomorphismFromSinglePiece}, \hyperpage{10}
  \item \texttt  {MagmaWithObjects}, \hyperpage{7}
  \item \texttt  {MagmaWithObjectsHomomorphism}, \hyperpage{10}
  \item \texttt  {MaximalDiscreteSubgroupoid}, \hyperpage{15}
  \item \texttt  {MonoidWithObjects}, \hyperpage{7}
  \item \texttt  {MultiplicativeElementWithObjects}, \hyperpage{8}

  \indexspace

  \item \texttt  {NormalFormGGRWS}, \hyperpage{26}

  \indexspace

  \item \texttt  {ObjectCostar}, \hyperpage{16}
  \item \texttt  {ObjectList}, \hyperpage{7}, \hyperpage{13}
  \item \texttt  {ObjectStar}, \hyperpage{16}

  \indexspace

  \item \texttt  {Pieces}, \hyperpage{13}

  \indexspace

  \item \texttt  {Range}, \hyperpage{20}
  \item \texttt  {ReducedGraphOfGroupoidsWord}, \hyperpage{30}
  \item \texttt  {ReducedGraphOfGroupsWord}, \hyperpage{26}
  \item \texttt  {RightCoset}, \hyperpage{17}
  \item \texttt  {RightCosetRepresentatives}, \hyperpage{17}
  \item \texttt  {RightCosetsNC}, \hyperpage{17}
  \item \texttt  {RightTransversalsOfGraphOfGroupoids}, \hyperpage{29}
  \item \texttt  {RightTransversalsOfGraphOfGroups}, \hyperpage{25}

  \indexspace

  \item \texttt  {SemigroupithObjects}, \hyperpage{7}
  \item \texttt  {SinglePieceGroupoid}, \hyperpage{12}
  \item \texttt  {Size}, \hyperpage{14}
  \item \texttt  {Source}, \hyperpage{20}
  \item \texttt  {Subgroupoid}, \hyperpage{15}
  \item \texttt  {SubgroupoidByPieces}, \hyperpage{15}
  \item \texttt  {SubgroupoidsOfGraphOfGroupoids}, \hyperpage{29}
  \item \texttt  {SubgroupsOfGraphOfGroups}, \hyperpage{23}

  \indexspace

  \item \texttt  {WordOfGraphOfGroupoidsWord}, \hyperpage{30}
  \item \texttt  {WordOfGraphOfGroupsWord}, \hyperpage{25}

\end{theindex}