\makelabel{xmod:Preface}{1}
\makelabel{xmod:InfoXMod}{1}
\makelabel{xmod:2d-objects}{2}
\makelabel{xmod:Introduction}{2.1}
\makelabel{xmod:Crossed modules}{2.2}
\makelabel{xmod:XMod}{2.2.1}
\makelabel{xmod:XModByBoundaryAndAction}{2.2.1}
\makelabel{xmod:XModByTrivialAction}{2.2.1}
\makelabel{xmod:XModByNormalSubgroup}{2.2.1}
\makelabel{xmod:XModByCentralExtension}{2.2.1}
\makelabel{xmod:XModByAutomorphismGroup}{2.2.1}
\makelabel{xmod:XModByInnerAutomorphismGroup}{2.2.1}
\makelabel{xmod:XModByGroupOfAutomorphisms}{2.2.1}
\makelabel{xmod:XModByAbelianModule}{2.2.1}
\makelabel{xmod:Source!of (pre-)crossed module}{2.2.2}
\makelabel{xmod:Range!of (pre-)crossed module}{2.2.2}
\makelabel{xmod:Boundary!of (pre-)crossed module}{2.2.2}
\makelabel{xmod:AutoGroup!of (pre-)crossed module}{2.2.2}
\makelabel{xmod:XModAction}{2.2.2}
\makelabel{xmod:Size!of (pre-)crossed module}{2.2.3}
\makelabel{xmod:Name!of (pre-)crossed module}{2.2.3}
\makelabel{xmod:SubXMod}{2.2.4}
\makelabel{xmod:IdentitySubXMod}{2.2.4}
\makelabel{xmod:NormalSubXMods}{2.2.4}
\makelabel{xmod:DirectProduct}{2.2.4}
\makelabel{xmod:Pre-crossed modules}{2.3}
\makelabel{xmod:PeifferSubgroup}{2.3.1}
\makelabel{xmod:PreXModByBoundaryAndAction}{2.3.1}
\makelabel{xmod:PreXModByCentralExtension}{2.3.1}
\makelabel{xmod:SubPreXMod}{2.3.1}
\makelabel{xmod:XModByPeifferQuotient}{2.3.1}
\makelabel{xmod:IsPermXMod}{2.3.2}
\makelabel{xmod:IsPcPreXMod}{2.3.2}
\makelabel{xmod:Cat1-groups and pre-cat1-groups}{2.4}
\makelabel{xmod:Source!of (pre-)cat1-group}{2.4.1}
\makelabel{xmod:Range!of (pre-)cat1-group}{2.4.1}
\makelabel{xmod:Tail}{2.4.1}
\makelabel{xmod:Head}{2.4.1}
\makelabel{xmod:RangeEmbedding}{2.4.1}
\makelabel{xmod:KernelEmbedding}{2.4.1}
\makelabel{xmod:Boundary!of (pre-)cat1-group}{2.4.1}
\makelabel{xmod:Name!of (pre-)cat1-group}{2.4.1}
\makelabel{xmod:Size!of (pre-)cat1-group}{2.4.1}
\makelabel{xmod:Cat1}{2.4.2}
\makelabel{xmod:PreCat1ByTailHeadEmbedding}{2.4.2}
\makelabel{xmod:PreCat1ByEndomorphisms}{2.4.2}
\makelabel{xmod:PreCat1ByNormalSubgroup}{2.4.2}
\makelabel{xmod:Cat1ByPeifferQuotient}{2.4.2}
\makelabel{xmod:Reverse}{2.4.2}
\makelabel{xmod:Cat1OfXMod}{2.4.3}
\makelabel{xmod:XModOfCat1}{2.4.3}
\makelabel{xmod:PreCat1OfPreXMod}{2.4.3}
\makelabel{xmod:PreXModOfPreCat1}{2.4.3}
\makelabel{xmod:Selection of a small cat1-group}{2.5}
\makelabel{xmod:2d-mappings}{3}
\makelabel{xmod:Source!of 2d-mapping}{3}
\makelabel{xmod:Range!of 2d-mapping}{3}
\makelabel{xmod:SourceHom}{3}
\makelabel{xmod:RangeHom}{3}
\makelabel{xmod:Morphisms of pre-crossed modules}{3.1}
\makelabel{xmod:IsPreXModMorphism}{3.1.1}
\makelabel{xmod:IsXModMorphism}{3.1.1}
\makelabel{xmod:IsPreCat1Morphism}{3.1.1}
\makelabel{xmod:IsCat1Morphism}{3.1.1}
\makelabel{xmod:IsInjective}{3.1.2}
\makelabel{xmod:IsSurjective}{3.1.2}
\makelabel{xmod:IsSingleValued}{3.1.2}
\makelabel{xmod:IsTotal}{3.1.2}
\makelabel{xmod:IsBijective}{3.1.2}
\makelabel{xmod:IsEndomorphism2dObject}{3.1.2}
\makelabel{xmod:IsAutomorphism2dObject}{3.1.2}
\makelabel{xmod:PreXModMorphism}{3.1.3}
\makelabel{xmod:XModMorphism}{3.1.3}
\makelabel{xmod:PreXModMorphismByHoms}{3.1.3}
\makelabel{xmod:XModMorphismByHoms}{3.1.3}
\makelabel{xmod:InclusionMorphism2dObjects!of pre-crossed modules}{3.1.3}
\makelabel{xmod:InnerAutomorphismXMod}{3.1.3}
\makelabel{xmod:IdentityMapping!of pre-crossed modules}{3.1.3}
\makelabel{xmod:IsomorphismPermObject!of pre-crossed modules}{3.1.3}
\makelabel{xmod:Morphisms of pre-cat1-groups}{3.2}
\makelabel{xmod:PreCat1Morphism}{3.2.1}
\makelabel{xmod:Cat1Morphism}{3.2.1}
\makelabel{xmod:PreCat1MorphismByHoms}{3.2.1}
\makelabel{xmod:Cat1MorphismByHoms}{3.2.1}
\makelabel{xmod:InclusionMorphism2dObjects!of pre-cat1-groups}{3.2.1}
\makelabel{xmod:InnerAutomorphismCat1!of pre-cat1-groups}{3.2.1}
\makelabel{xmod:IdentityMapping!of pre-cat1-groups}{3.2.1}
\makelabel{xmod:IsomorphismPermObject!of pre-cat1-groups}{3.2.1}
\makelabel{xmod:SmallerDegreePerm2dObject}{3.2.1}
\makelabel{xmod:Operations on morphisms}{3.3}
\makelabel{xmod:Order}{3.3.1}
\makelabel{xmod:CompositionMorphism}{3.3.1}
\makelabel{xmod:Kernel}{3.3.2}
\makelabel{xmod:Kernel2dMapping}{3.3.2}
\makelabel{xmod:Derivations and Sections}{4}
\makelabel{xmod:Whitehead Multiplication}{4.1}
\makelabel{xmod:IsUp2dMapping}{4.1.1}
\makelabel{xmod:IsDerivation}{4.1.1}
\makelabel{xmod:IsSection}{4.1.1}
\makelabel{xmod:Object2d}{4.1.2}
\makelabel{xmod:GeneratorImages}{4.1.2}
\makelabel{xmod:DerivationByImages}{4.1.2}
\makelabel{xmod:SectionByImages}{4.1.3}
\makelabel{xmod:SectionByDerivation}{4.1.3}
\makelabel{xmod:DerivationBySection}{4.1.3}
\makelabel{xmod:Whitehead Groups and Monoids}{4.2}
\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:WhiteheadGroupTable}{4.2.3}
\makelabel{xmod:WhiteheadMonoidTable}{4.2.3}
\makelabel{xmod:WhiteheadPermGroup}{4.2.3}
\makelabel{xmod:WhiteheadTransMonoid}{4.2.3}
\makelabel{xmod:Actors of 2d-objects}{5}
\makelabel{xmod:Actor of a Crossed Module}{5.1}
\makelabel{xmod:AutomorphismPermGroup}{5.1.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:InnerActor}{5.1.2}
\makelabel{xmod:InnerMorphism}{5.1.2}
\makelabel{xmod:Centre}{5.1.2}
\makelabel{xmod:Induced Constructions}{6}
\makelabel{xmod:Induced crossed modules}{6.1}
\makelabel{xmod:IsInducedXMod}{6.1.1}
\makelabel{xmod:IsInducedCat1}{6.1.1}
\makelabel{xmod:InducedXMod}{6.1.1}
\makelabel{xmod:InducedCat1}{6.1.1}
\makelabel{xmod:MorphismOfInducedXMod}{6.1.1}
\makelabel{xmod:AllInducedXMods}{6.1.2}
\makelabel{xmod:Utility functions}{7}
\makelabel{xmod:Inclusion and Restriction Mappings}{7.1}
\makelabel{xmod:InclusionMappingGroups}{7.1.1}
\makelabel{xmod:RestrictionMappingGroups}{7.1.1}
\makelabel{xmod:MappingToOne}{7.1.1}
\makelabel{xmod:Endomorphism Classes and Automorphisms}{7.2}
\makelabel{xmod:EndomorphismClasses}{7.2.1}
\makelabel{xmod:EndoClassNaturalHom}{7.2.1}
\makelabel{xmod:EndoClassIsomorphism}{7.2.1}
\makelabel{xmod:EndoClassConjugators}{7.2.1}
\makelabel{xmod:AutoGroup!of endomorphism class}{7.2.1}
\makelabel{xmod:InnerAutomorphismsByNormalSubgroup}{7.2.2}
\makelabel{xmod:IsGroupOfAutomorphisms}{7.2.2}
\makelabel{xmod:Abelian Modules}{7.3}
\makelabel{xmod:IsAbelianModule}{7.3.1}
\makelabel{xmod:AbelianModuleGroup}{7.3.1}
\makelabel{xmod:AbelianModuleAction}{7.3.1}
\makelabel{xmod:AbelianModuleObject}{7.3.1}
\makelabel{xmod:Distinct and Common Representatives}{7.4}
\makelabel{xmod:DistinctRepresentatives}{7.4.1}
\makelabel{xmod:CommonRepresentatives}{7.4.1}
\makelabel{xmod:CommonTransversal}{7.4.1}
\makelabel{xmod:IsCommonTransversal}{7.4.1}
\makelabel{xmod:Development History}{8}
\makelabel{xmod:Versions 2.002 -- 2.005}{8.1}
\makelabel{xmod:Version 2.006}{8.2}
\makelabel{xmod:What needs doing next?}{8.3}
\makelabel{xmod:Bibliography}{}
\setcitlab {A1}{Alp97}
\setcitlab {AW1}{AW00}
\setcitlab {BH1}{BH78}
\setcitlab {B82}{Bro82}
\setcitlab {BW1}{BW95}
\setcitlab {BW2}{BW96}
\setcitlab {BW3}{BW03}
\setcitlab {E1}{Ell84}
\setcitlab {G1}{Gil90}
\setcitlab {L1}{Lod82}
\setcitlab {M1}{Moo01}
\setcitlab {N2}{Nor87}
\setcitlab {N1}{Nor90}
\setcitlab {W2}{Whi48}
\setcitlab {W1}{Whi49}
\makelabel{xmod:Index}{}
