\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{emma-thesis} \@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color {Chapter }Introduction}}{5}{chapter.1}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{intro}{{1}{5}{\textcolor {Chapter }{Introduction}\relax }{chapter.1}{}} \@writefile{brf}{\backcite{emma-thesis}{{5}{1}{chapter.1}}} \citation{BrMoPoWe} \citation{emma-thesis} \@writefile{brf}{\backcite{BrMoPoWe}{{6}{1}{chapter.1}}} \@writefile{brf}{\backcite{emma-thesis}{{6}{1}{chapter.1}}} \citation{BrTop} \citation{BrTopGpd} \@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color {Chapter }Many-object structures}}{7}{chapter.2}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-mwp}{{2}{7}{\textcolor {Chapter }{Many-object structures}\relax }{chapter.2}{}} \@writefile{brf}{\backcite{BrTop}{{7}{2}{chapter.2}}} \@writefile{brf}{\backcite{BrTopGpd}{{7}{2}{chapter.2}}} \@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color {Chapter }Magmas with objects}}{7}{section.2.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}\leavevmode {\color {Chapter }MagmaWithObjects}}{7}{subsection.2.1.1}} \newlabel{MagmaWithObjects}{{2.1.1}{7}{\textcolor {Chapter }{MagmaWithObjects}\relax }{subsection.2.1.1}{}} \newlabel{ObjectList}{{2.1.1}{7}{\textcolor {Chapter }{MagmaWithObjects}\relax }{subsection.2.1.1}{}} \newlabel{SemigroupithObjects}{{2.1.1}{7}{\textcolor {Chapter }{MagmaWithObjects}\relax }{subsection.2.1.1}{}} \newlabel{MonoidWithObjects}{{2.1.1}{7}{\textcolor {Chapter }{MagmaWithObjects}\relax }{subsection.2.1.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}\leavevmode {\color {Chapter }MultiplicativeElementWithObjects}}{8}{subsection.2.1.2}} \newlabel{MultiplicativeElementWithObjects}{{2.1.2}{8}{\textcolor {Chapter }{MultiplicativeElementWithObjects}\relax }{subsection.2.1.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1.3}\leavevmode {\color {Chapter }IsSinglePiece}}{8}{subsection.2.1.3}} \newlabel{IsSinglePiece}{{2.1.3}{8}{\textcolor {Chapter }{IsSinglePiece}\relax }{subsection.2.1.3}{}} \newlabel{IsDirectProductWithCompleteGraph}{{2.1.3}{8}{\textcolor {Chapter }{IsSinglePiece}\relax }{subsection.2.1.3}{}} \@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color {Chapter }Homomorphisms of many-object structures}}{10}{chapter.3}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-mwohom}{{3}{10}{\textcolor {Chapter }{Homomorphisms of many-object structures}\relax }{chapter.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color {Chapter }Homomorphisms of magmas with objects}}{10}{section.3.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color {Chapter }MagmaWithObjectsHomomorphism}}{10}{subsection.3.1.1}} \newlabel{MagmaWithObjectsHomomorphism}{{3.1.1}{10}{\textcolor {Chapter }{MagmaWithObjectsHomomorphism}\relax }{subsection.3.1.1}{}} \newlabel{MagmaHomomorphismFromSinglePiece}{{3.1.1}{10}{\textcolor {Chapter }{MagmaWithObjectsHomomorphism}\relax }{subsection.3.1.1}{}} \newlabel{HomomorphismToSinglePiece}{{3.1.1}{10}{\textcolor {Chapter }{MagmaWithObjectsHomomorphism}\relax }{subsection.3.1.1}{}} \newlabel{HomomorphismByUnion}{{3.1.1}{10}{\textcolor {Chapter }{MagmaWithObjectsHomomorphism}\relax }{subsection.3.1.1}{}} \citation{BrTop} \citation{BrTopGpd} \@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color {Chapter }Groupoids}}{12}{chapter.4}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-gpd}{{4}{12}{\textcolor {Chapter }{Groupoids}\relax }{chapter.4}{}} \@writefile{brf}{\backcite{BrTop}{{12}{4}{chapter.4}}} \@writefile{brf}{\backcite{BrTopGpd}{{12}{4}{chapter.4}}} \@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color {Chapter }Groupoids: their elements and attributes}}{12}{section.4.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color {Chapter }SinglePieceGroupoid}}{12}{subsection.4.1.1}} \newlabel{SinglePieceGroupoid}{{4.1.1}{12}{\textcolor {Chapter }{SinglePieceGroupoid}\relax }{subsection.4.1.1}{}} \newlabel{Groupoid}{{4.1.1}{12}{\textcolor {Chapter }{SinglePieceGroupoid}\relax }{subsection.4.1.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}\leavevmode {\color {Chapter }Pieces}}{13}{subsection.4.1.2}} \newlabel{Pieces}{{4.1.2}{13}{\textcolor {Chapter }{Pieces}\relax }{subsection.4.1.2}{}} \newlabel{ObjectList}{{4.1.2}{13}{\textcolor {Chapter }{Pieces}\relax }{subsection.4.1.2}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}\leavevmode {\color {Chapter }IsPermGroupoid}}{13}{subsection.4.1.3}} \newlabel{IsPermGroupoid}{{4.1.3}{13}{\textcolor {Chapter }{IsPermGroupoid}\relax }{subsection.4.1.3}{}} \newlabel{IsPcGroupoid}{{4.1.3}{13}{\textcolor {Chapter }{IsPermGroupoid}\relax }{subsection.4.1.3}{}} \newlabel{IsFpGroupoid}{{4.1.3}{13}{\textcolor {Chapter }{IsPermGroupoid}\relax }{subsection.4.1.3}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}\leavevmode {\color {Chapter }GroupoidElement}}{14}{subsection.4.1.4}} \newlabel{GroupoidElement}{{4.1.4}{14}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.4.1.4}{}} \newlabel{IsElementOfGroupoid}{{4.1.4}{14}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.4.1.4}{}} \newlabel{Arrow}{{4.1.4}{14}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.4.1.4}{}} \newlabel{Arrowtail}{{4.1.4}{14}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.4.1.4}{}} \newlabel{Arrowhead}{{4.1.4}{14}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.4.1.4}{}} \newlabel{Size}{{4.1.4}{14}{\textcolor {Chapter }{GroupoidElement}\relax }{subsection.4.1.4}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.5}\leavevmode {\color {Chapter }IsSinglePiece}}{15}{subsection.4.1.5}} \newlabel{IsSinglePiece}{{4.1.5}{15}{\textcolor {Chapter }{IsSinglePiece}\relax }{subsection.4.1.5}{}} \newlabel{IsDiscrete}{{4.1.5}{15}{\textcolor {Chapter }{IsSinglePiece}\relax }{subsection.4.1.5}{}} \@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color {Chapter }Subgroupoids}}{15}{section.4.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color {Chapter }SubgroupoidByPieces}}{15}{subsection.4.2.1}} \newlabel{SubgroupoidByPieces}{{4.2.1}{15}{\textcolor {Chapter }{SubgroupoidByPieces}\relax }{subsection.4.2.1}{}} \newlabel{Subgroupoid}{{4.2.1}{15}{\textcolor {Chapter }{SubgroupoidByPieces}\relax }{subsection.4.2.1}{}} \newlabel{FullSubgroupoid}{{4.2.1}{15}{\textcolor {Chapter }{SubgroupoidByPieces}\relax }{subsection.4.2.1}{}} \newlabel{MaximalDiscreteSubgroupoid}{{4.2.1}{15}{\textcolor {Chapter }{SubgroupoidByPieces}\relax }{subsection.4.2.1}{}} \newlabel{DiscreteSubgroupoid}{{4.2.1}{15}{\textcolor {Chapter }{SubgroupoidByPieces}\relax }{subsection.4.2.1}{}} \newlabel{FullIdentitySubgroupoid}{{4.2.1}{15}{\textcolor {Chapter }{SubgroupoidByPieces}\relax }{subsection.4.2.1}{}} \newlabel{DiscreteIdentitySubgroupoid}{{4.2.1}{15}{\textcolor {Chapter }{SubgroupoidByPieces}\relax }{subsection.4.2.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {4.3}\leavevmode {\color {Chapter }Stars, Costars and Homsets}}{16}{section.4.3}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color {Chapter }ObjectStar}}{16}{subsection.4.3.1}} \newlabel{ObjectStar}{{4.3.1}{16}{\textcolor {Chapter }{ObjectStar}\relax }{subsection.4.3.1}{}} \newlabel{ObjectCostar}{{4.3.1}{16}{\textcolor {Chapter }{ObjectStar}\relax }{subsection.4.3.1}{}} \newlabel{Homset}{{4.3.1}{16}{\textcolor {Chapter }{ObjectStar}\relax }{subsection.4.3.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}\leavevmode {\color {Chapter }IdentityElement}}{17}{subsection.4.3.2}} \newlabel{IdentityElement}{{4.3.2}{17}{\textcolor {Chapter }{IdentityElement}\relax }{subsection.4.3.2}{}} \@writefile{toc}{\contentsline {section}{\numberline {4.4}\leavevmode {\color {Chapter }Left, right and double cosets}}{17}{section.4.4}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}\leavevmode {\color {Chapter }RightCoset}}{17}{subsection.4.4.1}} \newlabel{RightCoset}{{4.4.1}{17}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \newlabel{RightCosetRepresentatives}{{4.4.1}{17}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \newlabel{RightCosetsNC}{{4.4.1}{17}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \newlabel{LeftCoset}{{4.4.1}{17}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \newlabel{LeftCosetRepresentatives}{{4.4.1}{17}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \newlabel{LeftCosetRepresentativesFromObject}{{4.4.1}{17}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \newlabel{LeftCosetsNC}{{4.4.1}{17}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \newlabel{DoubleCoset}{{4.4.1}{17}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \newlabel{DoubleCosetRepresentatives}{{4.4.1}{17}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \newlabel{DoubleCosetsNC}{{4.4.1}{18}{\textcolor {Chapter }{RightCoset}\relax }{subsection.4.4.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {4.5}\leavevmode {\color {Chapter }Conjugation}}{18}{section.4.5}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.5.1}\leavevmode {\color {Chapter }\texttt {\char 92\relax }\texttt {\char 94\relax }}}{18}{subsection.4.5.1}} \newlabel{^}{{4.5.1}{18}{\textcolor {Chapter }{\texttt {\symbol {92}}\texttt {\symbol {94}}}\relax }{subsection.4.5.1}{}} \@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color {Chapter }Homomorphisms of Groupoids}}{20}{chapter.5}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-gpdhom}{{5}{20}{\textcolor {Chapter }{Homomorphisms of Groupoids}\relax }{chapter.5}{}} \@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color {Chapter }Homomorphisms to a connected groupoid}}{20}{section.5.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color {Chapter }GroupoidHomomorphism}}{20}{subsection.5.1.1}} \newlabel{GroupoidHomomorphism}{{5.1.1}{20}{\textcolor {Chapter }{GroupoidHomomorphism}\relax }{subsection.5.1.1}{}} \newlabel{GroupoidHomomorphismFromSinglePiece}{{5.1.1}{20}{\textcolor {Chapter }{GroupoidHomomorphism}\relax }{subsection.5.1.1}{}} \newlabel{Source}{{5.1.1}{20}{\textcolor {Chapter }{GroupoidHomomorphism}\relax }{subsection.5.1.1}{}} \newlabel{Range}{{5.1.1}{20}{\textcolor {Chapter }{GroupoidHomomorphism}\relax }{subsection.5.1.1}{}} \citation{Serre} \citation{HiJLMS} \citation{emma-thesis} \@writefile{toc}{\contentsline {chapter}{\numberline {6}\leavevmode {\color {Chapter }Graphs of Groups and Groupoids}}{22}{chapter.6}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-ggraph}{{6}{22}{\textcolor {Chapter }{Graphs of Groups and Groupoids}\relax }{chapter.6}{}} \@writefile{brf}{\backcite{Serre}{{22}{6}{chapter.6}}} \@writefile{brf}{\backcite{HiJLMS}{{22}{6}{chapter.6}}} \@writefile{brf}{\backcite{emma-thesis}{{22}{6}{chapter.6}}} \@writefile{toc}{\contentsline {section}{\numberline {6.1}\leavevmode {\color {Chapter }Digraphs}}{22}{section.6.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}\leavevmode {\color {Chapter }FpWeightedDigraph}}{22}{subsection.6.1.1}} \newlabel{FpWeightedDigraph}{{6.1.1}{22}{\textcolor {Chapter }{FpWeightedDigraph}\relax }{subsection.6.1.1}{}} \newlabel{IsFpWeightedDigraph}{{6.1.1}{22}{\textcolor {Chapter }{FpWeightedDigraph}\relax }{subsection.6.1.1}{}} \newlabel{InvolutoryArcs}{{6.1.1}{22}{\textcolor {Chapter }{FpWeightedDigraph}\relax }{subsection.6.1.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {6.2}\leavevmode {\color {Chapter }Graphs of Groups}}{23}{section.6.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}\leavevmode {\color {Chapter }GraphOfGroups}}{23}{subsection.6.2.1}} \newlabel{GraphOfGroups}{{6.2.1}{23}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.6.2.1}{}} \newlabel{DigraphOfGraphOfGroups}{{6.2.1}{23}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.6.2.1}{}} \newlabel{GroupsOfGraphOfGroups}{{6.2.1}{23}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.6.2.1}{}} \newlabel{SubgroupsOfGraphOfGroups}{{6.2.1}{23}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.6.2.1}{}} \newlabel{IsomorphismsOfGraphOfGroups}{{6.2.1}{23}{\textcolor {Chapter }{GraphOfGroups}\relax }{subsection.6.2.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}\leavevmode {\color {Chapter }IsGraphOfFpGroups}}{24}{subsection.6.2.2}} \newlabel{IsGraphOfFpGroups}{{6.2.2}{24}{\textcolor {Chapter }{IsGraphOfFpGroups}\relax }{subsection.6.2.2}{}} \newlabel{IsGraphOfPcGroups}{{6.2.2}{24}{\textcolor {Chapter }{IsGraphOfFpGroups}\relax }{subsection.6.2.2}{}} \newlabel{IsGraphOfPermGroups}{{6.2.2}{24}{\textcolor {Chapter }{IsGraphOfFpGroups}\relax }{subsection.6.2.2}{}} \citation{emma-thesis} \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}\leavevmode {\color {Chapter }RightTransversalsOfGraphOfGroups}}{25}{subsection.6.2.3}} \newlabel{RightTransversalsOfGraphOfGroups}{{6.2.3}{25}{\textcolor {Chapter }{RightTransversalsOfGraphOfGroups}\relax }{subsection.6.2.3}{}} \newlabel{LeftTransversalsOfGraphOfGroups}{{6.2.3}{25}{\textcolor {Chapter }{RightTransversalsOfGraphOfGroups}\relax }{subsection.6.2.3}{}} \@writefile{toc}{\contentsline {section}{\numberline {6.3}\leavevmode {\color {Chapter }Words in a Graph of Groups and their normal forms}}{25}{section.6.3}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}\leavevmode {\color {Chapter }GraphOfGroupsWord}}{25}{subsection.6.3.1}} \newlabel{GraphOfGroupsWord}{{6.3.1}{25}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.6.3.1}{}} \newlabel{IsGraphOfGroupsWord}{{6.3.1}{25}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.6.3.1}{}} \newlabel{GraphOfGroupsOfWord}{{6.3.1}{25}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.6.3.1}{}} \newlabel{WordOfGraphOfGroupsWord}{{6.3.1}{25}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.6.3.1}{}} \newlabel{GGTail}{{6.3.1}{25}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.6.3.1}{}} \newlabel{GGHead}{{6.3.1}{25}{\textcolor {Chapter }{GraphOfGroupsWord}\relax }{subsection.6.3.1}{}} \@writefile{brf}{\backcite{emma-thesis}{{25}{6.3.1}{subsection.6.3.1}}} \citation{emma-thesis} \@writefile{toc}{\contentsline {subsection}{\numberline {6.3.2}\leavevmode {\color {Chapter }ReducedGraphOfGroupsWord}}{26}{subsection.6.3.2}} \newlabel{ReducedGraphOfGroupsWord}{{6.3.2}{26}{\textcolor {Chapter }{ReducedGraphOfGroupsWord}\relax }{subsection.6.3.2}{}} \newlabel{IsReducedGraphOfGroupsWord}{{6.3.2}{26}{\textcolor {Chapter }{ReducedGraphOfGroupsWord}\relax }{subsection.6.3.2}{}} \@writefile{brf}{\backcite{emma-thesis}{{26}{6.3.2}{subsection.6.3.2}}} \@writefile{toc}{\contentsline {section}{\numberline {6.4}\leavevmode {\color {Chapter }Free products with amalgamation and HNN extensions}}{26}{section.6.4}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\leavevmode {\color {Chapter }FreeProductWithAmalgamation}}{26}{subsection.6.4.1}} \newlabel{FreeProductWithAmalgamation}{{6.4.1}{26}{\textcolor {Chapter }{FreeProductWithAmalgamation}\relax }{subsection.6.4.1}{}} \newlabel{IsFpaGroup}{{6.4.1}{26}{\textcolor {Chapter }{FreeProductWithAmalgamation}\relax }{subsection.6.4.1}{}} \newlabel{GraphOfGroupsRewritingSystem}{{6.4.1}{26}{\textcolor {Chapter }{FreeProductWithAmalgamation}\relax }{subsection.6.4.1}{}} \newlabel{NormalFormGGRWS}{{6.4.1}{26}{\textcolor {Chapter }{FreeProductWithAmalgamation}\relax }{subsection.6.4.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\leavevmode {\color {Chapter }HnnExtension}}{28}{subsection.6.4.2}} \newlabel{HnnExtension}{{6.4.2}{28}{\textcolor {Chapter }{HnnExtension}\relax }{subsection.6.4.2}{}} \newlabel{IsHnnGroup}{{6.4.2}{28}{\textcolor {Chapter }{HnnExtension}\relax }{subsection.6.4.2}{}} \@writefile{toc}{\contentsline {section}{\numberline {6.5}\leavevmode {\color {Chapter }GraphsOfGroupoids and their Words}}{29}{section.6.5}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}\leavevmode {\color {Chapter }GraphOfGroupoids}}{29}{subsection.6.5.1}} \newlabel{GraphOfGroupoids}{{6.5.1}{29}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.6.5.1}{}} \newlabel{IsGraphOfPermGroupoids}{{6.5.1}{29}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.6.5.1}{}} \newlabel{IsGraphOfFpGroupoids}{{6.5.1}{29}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.6.5.1}{}} \newlabel{GroupoidsOfGraphOfGroupoids}{{6.5.1}{29}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.6.5.1}{}} \newlabel{DigraphOfGraphOfGroupoids}{{6.5.1}{29}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.6.5.1}{}} \newlabel{SubgroupoidsOfGraphOfGroupoids}{{6.5.1}{29}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.6.5.1}{}} \newlabel{IsomorphismsOfGraphOfGroupoids}{{6.5.1}{29}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.6.5.1}{}} \newlabel{RightTransversalsOfGraphOfGroupoids}{{6.5.1}{29}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.6.5.1}{}} \newlabel{LefvtTransversalsOfGraphOfGroupoids}{{6.5.1}{29}{\textcolor {Chapter }{GraphOfGroupoids}\relax }{subsection.6.5.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}\leavevmode {\color {Chapter }GraphOfGroupoidsWord}}{30}{subsection.6.5.2}} \newlabel{GraphOfGroupoidsWord}{{6.5.2}{30}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.6.5.2}{}} \newlabel{IsGraphOfGroupoidsWord}{{6.5.2}{30}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.6.5.2}{}} \newlabel{GraphOfGroupoidsOfWord}{{6.5.2}{30}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.6.5.2}{}} \newlabel{WordOfGraphOfGroupoidsWord}{{6.5.2}{30}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.6.5.2}{}} \newlabel{ReducedGraphOfGroupoidsWord}{{6.5.2}{30}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.6.5.2}{}} \newlabel{IsReducedGraphOfGroupoidsWord}{{6.5.2}{30}{\textcolor {Chapter }{GraphOfGroupoidsWord}\relax }{subsection.6.5.2}{}} \citation{emma-thesis} \@writefile{toc}{\contentsline {chapter}{\numberline {7}\leavevmode {\color {Chapter }Development History}}{31}{chapter.7}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{history}{{7}{31}{\textcolor {Chapter }{Development History}\relax }{chapter.7}{}} \@writefile{toc}{\contentsline {section}{\numberline {7.1}\leavevmode {\color {Chapter }Versions of the Package}}{31}{section.7.1}} \@writefile{brf}{\backcite{emma-thesis}{{31}{7.1}{section.7.1}}} \@writefile{toc}{\contentsline {section}{\numberline {7.2}\leavevmode {\color {Chapter }What needs to be done next?}}{31}{section.7.2}} \bibstyle{alpha} \bibdata{manual} \bibcite{BrMoPoWe}{BMPW02} \bibcite{BrTop}{Bro88} \bibcite{BrTopGpd}{Bro06} \bibcite{HiJLMS}{Hig76} \bibcite{emma-thesis}{Moo01} \bibcite{Serre}{Ser80}