\makelabel{xmod:Title page}{}
\makelabel{xmod:Abstract}{}
\makelabel{xmod:Copyright}{}
\makelabel{xmod:Acknowledgements}{}
\makelabel{xmod:Colophon}{}
\makelabel{xmod:Table of Contents}{}
\makelabel{xmod:Introduction}{1}
\makelabel{xmod:2d-objects}{2}
\makelabel{xmod:Constructions for crossed modules}{2.1}
\makelabel{xmod:Pre-crossed modules}{2.2}
\makelabel{xmod:Cat1-groups and pre-cat1-groups}{2.3}
\makelabel{xmod:Selection of a small cat1-group}{2.4}
\makelabel{xmod:2d-mappings}{3}
\makelabel{xmod:Morphisms of 2d-objects}{3.1}
\makelabel{xmod:Morphisms of pre-crossed modules}{3.2}
\makelabel{xmod:Morphisms of pre-cat1-groups}{3.3}
\makelabel{xmod:Operations on morphisms}{3.4}
\makelabel{xmod:Derivations and Sections}{4}
\makelabel{xmod:Whitehead Multiplication}{4.1}
\makelabel{xmod:Whitehead Groups and Monoids}{4.2}
\makelabel{xmod:Actors of 2d-objects}{5}
\makelabel{xmod:Actor of a crossed module}{5.1}
\makelabel{xmod:Induced Constructions}{6}
\makelabel{xmod:Induced crossed modules}{6.1}
\makelabel{xmod:Crossed squares and their morphisms}{7}
\makelabel{xmod:Constructions for crossed squares}{7.1}
\makelabel{xmod:Morphisms of crossed squares}{7.2}
\makelabel{xmod:Utility functions}{8}
\makelabel{xmod:Inclusion and Restriction Mappings}{8.1}
\makelabel{xmod:Endomorphism Classes and Automorphisms}{8.2}
\makelabel{xmod:Abelian Modules}{8.3}
\makelabel{xmod:Distinct and Common Representatives}{8.4}
\makelabel{xmod:Development history}{9}
\makelabel{xmod:Changes from version to version}{9.1}
\makelabel{xmod:Version 1 for GAP 3}{9.1.1}
\makelabel{xmod:Version 2}{9.1.2}
\makelabel{xmod:Version 2.001 for GAP 4}{9.1.3}
\makelabel{xmod:Induced crossed modules}{9.1.4}
\makelabel{xmod:Versions 2.002 -- 2.006}{9.1.5}
\makelabel{xmod:Versions 2.007 -- 2.010}{9.1.6}
\makelabel{xmod:Version 2.11}{9.1.7}
\makelabel{xmod:What needs doing next?}{9.2}
\makelabel{xmod:Bibliography}{Bib}
\makelabel{xmod:References}{Bib}
\makelabel{xmod:Index}{Ind}
\makelabel{xmod:InfoXMod}{1}
\makelabel{xmod:crossed module}{2.1}
\makelabel{xmod:2d-object}{2.1}
\makelabel{xmod:XMod}{2.1.1}
\makelabel{xmod:XModByBoundaryAndAction}{2.1.1}
\makelabel{xmod:XModByTrivialAction}{2.1.1}
\makelabel{xmod:XModByNormalSubgroup}{2.1.1}
\makelabel{xmod:XModByCentralExtension}{2.1.1}
\makelabel{xmod:XModByAutomorphismGroup}{2.1.1}
\makelabel{xmod:XModByInnerAutomorphismGroup}{2.1.1}
\makelabel{xmod:XModByGroupOfAutomorphisms}{2.1.1}
\makelabel{xmod:XModByAbelianModule}{2.1.1}
\makelabel{xmod:DirectProduct}{2.1.1}
\makelabel{xmod:Source}{2.1.2}
\makelabel{xmod:Range}{2.1.2}
\makelabel{xmod:Boundary}{2.1.2}
\makelabel{xmod:AutoGroup}{2.1.2}
\makelabel{xmod:XModAction}{2.1.2}
\makelabel{xmod:Size}{2.1.3}
\makelabel{xmod:Name}{2.1.3}
\makelabel{xmod:display a 2d-object}{2.1.3}
\makelabel{xmod:SubXMod}{2.1.4}
\makelabel{xmod:IdentitySubXMod}{2.1.4}
\makelabel{xmod:NormalSubXMods}{2.1.4}
\makelabel{xmod:pre-crossed module}{2.2}
\makelabel{xmod:PreXModByBoundaryAndAction}{2.2.1}
\makelabel{xmod:SubPreXMod}{2.2.1}
\makelabel{xmod:Peiffer subgroup}{2.2.1}
\makelabel{xmod:PeifferSubgroup}{2.2.2}
\makelabel{xmod:XModByPeifferQuotient}{2.2.2}
\makelabel{xmod:IsPermXMod}{2.2.3}
\makelabel{xmod:IsPcPreXMod}{2.2.3}
\makelabel{xmod:cat1-group}{2.3}
\makelabel{xmod:Source}{2.3.1}
\makelabel{xmod:Range}{2.3.1}
\makelabel{xmod:TailMap}{2.3.1}
\makelabel{xmod:HeadMap}{2.3.1}
\makelabel{xmod:RangeEmbedding}{2.3.1}
\makelabel{xmod:KernelEmbedding}{2.3.1}
\makelabel{xmod:Boundary}{2.3.1}
\makelabel{xmod:Name}{2.3.1}
\makelabel{xmod:Size}{2.3.1}
\makelabel{xmod:Cat1}{2.3.2}
\makelabel{xmod:PreCat1ByTailHeadEmbedding}{2.3.2}
\makelabel{xmod:PreCat1ByEndomorphisms}{2.3.2}
\makelabel{xmod:PreCat1ByNormalSubgroup}{2.3.2}
\makelabel{xmod:Cat1ByPeifferQuotient}{2.3.2}
\makelabel{xmod:Reverse}{2.3.2}
\makelabel{xmod:Cat1OfXMod}{2.3.3}
\makelabel{xmod:XModOfCat1}{2.3.3}
\makelabel{xmod:PreCat1OfPreXMod}{2.3.3}
\makelabel{xmod:PreXModOfPreCat1}{2.3.3}
\makelabel{xmod:selection of a small cat1-group}{2.4}
\makelabel{xmod:Cat1Select}{2.4.1}
\makelabel{xmod:2d-mapping}{3}
\makelabel{xmod:morphism of 2d-object}{3.1}
\makelabel{xmod:crossed module morphism}{3.1}
\makelabel{xmod:Source}{3.1.1}
\makelabel{xmod:Range}{3.1.1}
\makelabel{xmod:SourceHom}{3.1.1}
\makelabel{xmod:RangeHom}{3.1.1}
\makelabel{xmod:morphism}{3.2}
\makelabel{xmod:IsXModMorphism}{3.2.1}
\makelabel{xmod:IsCat1Morphism}{3.2.1}
\makelabel{xmod:IsPreXModMorphism}{3.2.1}
\makelabel{xmod:IsPreCat1Morphism}{3.2.1}
\makelabel{xmod:IsInjective}{3.2.2}
\makelabel{xmod:IsSurjective}{3.2.2}
\makelabel{xmod:IsSingleValued}{3.2.2}
\makelabel{xmod:IsTotal}{3.2.2}
\makelabel{xmod:IsBijective}{3.2.2}
\makelabel{xmod:IsEndomorphism2dObject}{3.2.2}
\makelabel{xmod:IsAutomorphism2dObject}{3.2.2}
\makelabel{xmod:XModMorphism}{3.2.3}
\makelabel{xmod:XModMorphismByHoms}{3.2.3}
\makelabel{xmod:PreXModMorphism}{3.2.3}
\makelabel{xmod:PreXModMorphismByHoms}{3.2.3}
\makelabel{xmod:InclusionMorphism2dObjects}{3.2.3}
\makelabel{xmod:InnerAutomorphismXMod}{3.2.3}
\makelabel{xmod:IdentityMapping}{3.2.3}
\makelabel{xmod:IsomorphismPermObject}{3.2.3}
\makelabel{xmod:display a 2d-mapping}{3.2.3}
\makelabel{xmod:Cat1Morphism}{3.3.1}
\makelabel{xmod:Cat1MorphismByHoms}{3.3.1}
\makelabel{xmod:PreCat1Morphism}{3.3.1}
\makelabel{xmod:PreCat1MorphismByHoms}{3.3.1}
\makelabel{xmod:InclusionMorphism2dObjects}{3.3.1}
\makelabel{xmod:InnerAutomorphismCat1}{3.3.1}
\makelabel{xmod:IdentityMapping}{3.3.1}
\makelabel{xmod:IsmorphismPermObject}{3.3.1}
\makelabel{xmod:SmallerDegreePerm2dObject}{3.3.1}
\makelabel{xmod:operations on morphisms}{3.4}
\makelabel{xmod:Order}{3.4.1}
\makelabel{xmod:CompositionMorphism}{3.4.1}
\makelabel{xmod:Kernel}{3.4.2}
\makelabel{xmod:Kernel2dMapping}{3.4.2}
\makelabel{xmod:up 2d-mapping of 2d-object}{4}
\makelabel{xmod:Whitehead multiplication}{4.1}
\makelabel{xmod:IsDerivation}{4.1.1}
\makelabel{xmod:IsSection}{4.1.1}
\makelabel{xmod:IsUp2dMapping}{4.1.1}
\makelabel{xmod:derivation, of crossed module}{4.1.1}
\makelabel{xmod:Whitehead monoid}{4.1.1}
\makelabel{xmod:regular derivation}{4.1.1}
\makelabel{xmod:Whitehead group}{4.1.1}
\makelabel{xmod:section, of cat1-group}{4.1.1}
\makelabel{xmod:Whitehead multiplication}{4.1.1}
\makelabel{xmod:DerivationByImages}{4.1.2}
\makelabel{xmod:Object2d}{4.1.2}
\makelabel{xmod:GeneratorImages}{4.1.2}
\makelabel{xmod:SectionByImages}{4.1.3}
\makelabel{xmod:SectionByDerivation}{4.1.3}
\makelabel{xmod:DerivationBySection}{4.1.3}
\makelabel{xmod:RegularDerivations}{4.2.1}
\makelabel{xmod:AllDerivations}{4.2.1}
\makelabel{xmod:RegularSections}{4.2.1}
\makelabel{xmod:AllSections}{4.2.1}
\makelabel{xmod:ImagesList}{4.2.1}
\makelabel{xmod:ImagesTable}{4.2.1}
\makelabel{xmod:CompositeDerivation}{4.2.2}
\makelabel{xmod:ImagePositions}{4.2.2}
\makelabel{xmod:CompositeSection}{4.2.2}
\makelabel{xmod:WhiteheadGroupTable}{4.2.3}
\makelabel{xmod:WhiteheadMonoidTable}{4.2.3}
\makelabel{xmod:WhiteheadPermGroup}{4.2.3}
\makelabel{xmod:WhiteheadTransMonoid}{4.2.3}
\makelabel{xmod:actor}{5.1}
\makelabel{xmod:WhiteheadXMod}{5.1.1}
\makelabel{xmod:LueXMod}{5.1.1}
\makelabel{xmod:NorrieXMod}{5.1.1}
\makelabel{xmod:ActorXMod}{5.1.1}
\makelabel{xmod:AutomorphismPermGroup}{5.1.1}
\makelabel{xmod:crossed square}{5.1.1}
\makelabel{xmod:Centre}{5.1.2}
\makelabel{xmod:InnerActor}{5.1.2}
\makelabel{xmod:InnerMorphism}{5.1.2}
\makelabel{xmod:induced crossed module}{6.1}
\makelabel{xmod:InducedXMod}{6.1.1}
\makelabel{xmod:InducedCat1}{6.1.1}
\makelabel{xmod:IsInducedXMod}{6.1.1}
\makelabel{xmod:IsInducedCat1}{6.1.1}
\makelabel{xmod:MorphismOfInducedXMod}{6.1.1}
\makelabel{xmod:AllInducedXMods}{6.1.2}
\makelabel{xmod:crossed module}{7}
\makelabel{xmod:cat2-group}{7}
\makelabel{xmod:3d-object}{7}
\makelabel{xmod:crossed pairing}{7}
\makelabel{xmod:XSq}{7.1.1}
\makelabel{xmod:XSqByNormalSubgroups}{7.1.1}
\makelabel{xmod:ActorXSq}{7.1.1}
\makelabel{xmod:Transpose3dObject}{7.1.1}
\makelabel{xmod:Name}{7.1.1}
\makelabel{xmod:IsXSq}{7.1.2}
\makelabel{xmod:Is3dObject}{7.1.2}
\makelabel{xmod:IsPerm3dObject}{7.1.2}
\makelabel{xmod:IsPc3dObject}{7.1.2}
\makelabel{xmod:IsFp3dObject}{7.1.2}
\makelabel{xmod:IsPreXSq}{7.1.2}
\makelabel{xmod:Up2dObject}{7.1.3}
\makelabel{xmod:Left2dObject}{7.1.3}
\makelabel{xmod:Down2dObject}{7.1.3}
\makelabel{xmod:Right2dObject}{7.1.3}
\makelabel{xmod:DiagonalAction}{7.1.3}
\makelabel{xmod:XPair}{7.1.3}
\makelabel{xmod:ImageElmXPair}{7.1.3}
\makelabel{xmod:morphism of 3d-object}{7.2}
\makelabel{xmod:crossed square morphism}{7.2}
\makelabel{xmod:3d-mapping}{7.2}
\makelabel{xmod:Source}{7.2.1}
\makelabel{xmod:Range}{7.2.1}
\makelabel{xmod:Up2dMorphism}{7.2.1}
\makelabel{xmod:Left2dMorphism}{7.2.1}
\makelabel{xmod:Down2dMorphism}{7.2.1}
\makelabel{xmod:Right2dMorphism}{7.2.1}
\makelabel{xmod:IsXSqMorphism}{7.2.2}
\makelabel{xmod:IsPreXSqMorphism}{7.2.2}
\makelabel{xmod:IsBijective}{7.2.2}
\makelabel{xmod:IsAutomorphism3dObject}{7.2.2}
\makelabel{xmod:inclusion mapping}{8.1}
\makelabel{xmod:restriction mapping}{8.1}
\makelabel{xmod:InclusionMappingGroups}{8.1.1}
\makelabel{xmod:RestrictionMappingGroups}{8.1.1}
\makelabel{xmod:MappingToOne}{8.1.1}
\makelabel{xmod:endomorphism classes}{8.2}
\makelabel{xmod:EndomorphismClasses}{8.2.1}
\makelabel{xmod:EndoClassNaturalHom}{8.2.1}
\makelabel{xmod:EndoClassIsomorphism}{8.2.1}
\makelabel{xmod:EndoClassConjugators}{8.2.1}
\makelabel{xmod:AutoGroup}{8.2.1}
\makelabel{xmod:InnerAutomorphismByNormalSubgroup}{8.2.2}
\makelabel{xmod:IsGroupOfAutomorphisms}{8.2.2}
\makelabel{xmod:abelian module}{8.3}
\makelabel{xmod:AbelianModuleObject}{8.3.1}
\makelabel{xmod:IsAbelianModule}{8.3.1}
\makelabel{xmod:AbelianModuleGroup}{8.3.1}
\makelabel{xmod:AbelianModuleAction}{8.3.1}
\makelabel{xmod:distinct and common representatives}{8.4}
\makelabel{xmod:DistinctRepresentatives}{8.4.1}
\makelabel{xmod:CommonRepresentatives}{8.4.1}
\makelabel{xmod:CommonTransversal}{8.4.1}
\makelabel{xmod:IsCommonTransversal}{8.4.1}
\makelabel{xmod:version 1 for GAP 3}{9.1.1}
\makelabel{xmod:version 2.001 for GAP 4}{9.1.3}
