\GAPDocLabFile{xmod}
\makelabel{xmod:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{xmod:Abstract}{}{X7AA6C5737B711C89}
\makelabel{xmod:Copyright}{}{X81488B807F2A1CF1}
\makelabel{xmod:Acknowledgements}{}{X82A988D47DFAFCFA}
\makelabel{xmod:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{xmod:Introduction}{1}{X7DFB63A97E67C0A1}
\makelabel{xmod:2d-groups : crossed modules and cat1-groups}{2}{X87474A3F785F9E38}
\makelabel{xmod:Constructions for crossed modules}{2.1}{X7BAD9A7F7AFEEC89}
\makelabel{xmod:Pre-crossed modules}{2.2}{X7D435B6279032D4D}
\makelabel{xmod:Cat1-groups and pre-cat1-groups}{2.3}{X7F868C2181018D0C}
\makelabel{xmod:Selection of a small cat1-group}{2.4}{X7B38B960782937EB}
\makelabel{xmod:More functions for crossed modules and cat1-groups}{2.5}{X7DFE950E7DBA9A37}
\makelabel{xmod:2d-mappings}{3}{X815144D67C1D1AE3}
\makelabel{xmod:Morphisms of 2d-groups}{3.1}{X7B3E7D3F831453BF}
\makelabel{xmod:Morphisms of pre-crossed modules}{3.2}{X78CADE4D7EB1EA44}
\makelabel{xmod:Morphisms of pre-cat1-groups}{3.3}{X84DDF8247FC4982B}
\makelabel{xmod:Operations on morphisms}{3.4}{X7B09A28579707CAF}
\makelabel{xmod:Isoclinism of groups and crossed modules}{4}{X802AFE8E7EDB435E}
\makelabel{xmod:More operations for crossed modules}{4.1}{X7E373BF3836B3A9C}
\makelabel{xmod:Isoclinism for groups}{4.2}{X7B0D511A82FD945E}
\makelabel{xmod:Isoclinism for crossed modules}{4.3}{X81338C977972AD83}
\makelabel{xmod:Derivations and Sections}{5}{X7C01AE7783898705}
\makelabel{xmod:Whitehead Multiplication}{5.1}{X78790B7D87D9FD73}
\makelabel{xmod:Whitehead Groups and Monoids}{5.2}{X83886F9484B44B03}
\makelabel{xmod:Actors of 2d-groups}{6}{X84C872BB7F1E5F25}
\makelabel{xmod:Actor of a crossed module}{6.1}{X7B853602873FC7AB}
\makelabel{xmod:Induced constructions}{7}{X8339DF98872D2E1C}
\makelabel{xmod:Induced crossed modules}{7.1}{X7966FF497C36C465}
\makelabel{xmod:Crossed squares and their morphisms}{8}{X8016C9727A692E1A}
\makelabel{xmod:Constructions for crossed squares}{8.1}{X820A7D30847BC828}
\makelabel{xmod:Morphisms of crossed squares}{8.2}{X78A79A7E85128C7B}
\makelabel{xmod:Crossed modules of groupoids}{9}{X80B3A81B7E5CA3A9}
\makelabel{xmod:Constructions for crossed modules of groupoids}{9.1}{X847F4ED77F50528C}
\makelabel{xmod:Utility functions}{10}{X810FFB1C8035C8BE}
\makelabel{xmod:Inclusion and Restriction Mappings}{10.1}{X844AFC3A7DD6E190}
\makelabel{xmod:Abelian Modules}{10.2}{X852BD9CA84C2AFF0}
\makelabel{xmod:Development history}{11}{X810C43BC7F63C4B4}
\makelabel{xmod:Changes from version to version}{11.1}{X7ACE7E8384B73156}
\makelabel{xmod:Version 1 for GAP 3}{11.1.1}{X86E288B17E976C5E}
\makelabel{xmod:Version 2}{11.1.2}{X7CF8E72D80AAB54F}
\makelabel{xmod:Version 2.001 for GAP 4}{11.1.3}{X7DF294D2787047B1}
\makelabel{xmod:Induced crossed modules}{11.1.4}{X7966FF497C36C465}
\makelabel{xmod:Versions 2.002 -- 2.006}{11.1.5}{X7E0B70FD82DC5BA8}
\makelabel{xmod:Versions 2.007 -- 2.010}{11.1.6}{X7F6E650E85384C25}
\makelabel{xmod:Versions for GAP [4.5 .. 4.8]}{11.2}{X7B7A59E97EBB9F3B}
\makelabel{xmod:AllCat1s}{11.2.1}{X794BBE42839F2E18}
\makelabel{xmod:Versions 2.43 - 2.56}{11.2.2}{X78C26CC27D48B1A8}
\makelabel{xmod:Latest Version}{11.2.3}{X789596A2825FBD72}
\makelabel{xmod:What needs doing next?}{11.3}{X83D1530487593182}
\makelabel{xmod:Bibliography}{Bib}{X7A6F98FD85F02BFE}
\makelabel{xmod:References}{Bib}{X7A6F98FD85F02BFE}
\makelabel{xmod:Index}{Ind}{X83A0356F839C696F}
\makelabel{xmod:License}{}{X81488B807F2A1CF1}
\makelabel{xmod:InfoXMod}{1}{X7DFB63A97E67C0A1}
\makelabel{xmod:crossed module}{2.1}{X7BAD9A7F7AFEEC89}
\makelabel{xmod:2d-domain}{2.1}{X7BAD9A7F7AFEEC89}
\makelabel{xmod:2d-group}{2.1}{X7BAD9A7F7AFEEC89}
\makelabel{xmod:XMod}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:XModByBoundaryAndAction}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:XModByTrivialAction}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:XModByNormalSubgroup}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:XModByCentralExtension}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:XModByAutomorphismGroup}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:XModByInnerAutomorphismGroup}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:XModByGroupOfAutomorphisms}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:XModByAbelianModule}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:DirectProduct}{2.1.1}{X7C8175AE7F76B586}
\makelabel{xmod:Source}{2.1.2}{X7DE8173F80E07AB1}
\makelabel{xmod:Range}{2.1.2}{X7DE8173F80E07AB1}
\makelabel{xmod:Boundary}{2.1.2}{X7DE8173F80E07AB1}
\makelabel{xmod:AutoGroup}{2.1.2}{X7DE8173F80E07AB1}
\makelabel{xmod:XModAction}{2.1.2}{X7DE8173F80E07AB1}
\makelabel{xmod:Size}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:Name}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:IdGroup}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:ExternalSetXMod}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:display a 2d-group}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:IsTrivialAction2dGroup}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:IsNormalSubgroup2dGroup}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:IsCentralExtension2dGroup}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:IsAutomorphismGroup2dGroup}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:IsAbelianModule2dGroup}{2.1.3}{X858ADA3B7A684421}
\makelabel{xmod:IsXMod}{2.1.4}{X7E77E6B881B1CE50}
\makelabel{xmod:IsPreXMod}{2.1.4}{X7E77E6B881B1CE50}
\makelabel{xmod:IsPerm2dGroup}{2.1.4}{X7E77E6B881B1CE50}
\makelabel{xmod:IsPc2dGroup}{2.1.4}{X7E77E6B881B1CE50}
\makelabel{xmod:IsFp2dGroup}{2.1.4}{X7E77E6B881B1CE50}
\makelabel{xmod:IsNormal for crossed modules}{2.1.4}{X7E77E6B881B1CE50}
\makelabel{xmod:SubXMod}{2.1.5}{X7884284383284A87}
\makelabel{xmod:TrivialSubXMod}{2.1.5}{X7884284383284A87}
\makelabel{xmod:NormalSubXMods}{2.1.5}{X7884284383284A87}
\makelabel{xmod:pre-crossed module}{2.2}{X7D435B6279032D4D}
\makelabel{xmod:PreXModByBoundaryAndAction}{2.2.1}{X8487BE427858C5C9}
\makelabel{xmod:SubPreXMod}{2.2.1}{X8487BE427858C5C9}
\makelabel{xmod:Peiffer subgroup}{2.2.1}{X8487BE427858C5C9}
\makelabel{xmod:PeifferSubgroup}{2.2.2}{X8527F4C07A8F359E}
\makelabel{xmod:XModByPeifferQuotient}{2.2.2}{X8527F4C07A8F359E}
\makelabel{xmod:cat1-group}{2.3}{X7F868C2181018D0C}
\makelabel{xmod:Source}{2.3.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Range}{2.3.1}{X7DE8173F80E07AB1}
\makelabel{xmod:TailMap}{2.3.1}{X7DE8173F80E07AB1}
\makelabel{xmod:HeadMap}{2.3.1}{X7DE8173F80E07AB1}
\makelabel{xmod:RangeEmbedding}{2.3.1}{X7DE8173F80E07AB1}
\makelabel{xmod:KernelEmbedding}{2.3.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Boundary}{2.3.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Name}{2.3.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Size}{2.3.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Cat1}{2.3.2}{X7F4221DF83D1B6D8}
\makelabel{xmod:PreCat1ByTailHeadEmbedding}{2.3.2}{X7F4221DF83D1B6D8}
\makelabel{xmod:PreCat1ByEndomorphisms}{2.3.2}{X7F4221DF83D1B6D8}
\makelabel{xmod:PreCat1ByNormalSubgroup}{2.3.2}{X7F4221DF83D1B6D8}
\makelabel{xmod:Cat1ByPeifferQuotient}{2.3.2}{X7F4221DF83D1B6D8}
\makelabel{xmod:Reverse}{2.3.2}{X7F4221DF83D1B6D8}
\makelabel{xmod:Cat1OfXMod}{2.3.3}{X7EB380BA7AC52D53}
\makelabel{xmod:XModOfCat1}{2.3.3}{X7EB380BA7AC52D53}
\makelabel{xmod:PreCat1OfPreXMod}{2.3.3}{X7EB380BA7AC52D53}
\makelabel{xmod:PreXModOfPreCat1}{2.3.3}{X7EB380BA7AC52D53}
\makelabel{xmod:selection of a small cat1-group}{2.4}{X7B38B960782937EB}
\makelabel{xmod:Cat1Select}{2.4.1}{X7B8E67D880E380C8}
\makelabel{xmod:AllCat1sBasic}{2.4.2}{X7A081F9D826621DA}
\makelabel{xmod:IdGroup}{2.5.1}{X78D480357BE559AD}
\makelabel{xmod:StructureDescription}{2.5.1}{X78D480357BE559AD}
\makelabel{xmod:2d-mapping}{3}{X815144D67C1D1AE3}
\makelabel{xmod:morphism of 2d-group}{3.1}{X7B3E7D3F831453BF}
\makelabel{xmod:crossed module morphism}{3.1}{X7B3E7D3F831453BF}
\makelabel{xmod:Source}{3.1.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Range}{3.1.1}{X7DE8173F80E07AB1}
\makelabel{xmod:SourceHom}{3.1.1}{X7DE8173F80E07AB1}
\makelabel{xmod:RangeHom}{3.1.1}{X7DE8173F80E07AB1}
\makelabel{xmod:morphism}{3.2}{X78CADE4D7EB1EA44}
\makelabel{xmod:IsXModMorphism}{3.2.1}{X82B912B18127A42A}
\makelabel{xmod:IsPreXModMorphism}{3.2.1}{X82B912B18127A42A}
\makelabel{xmod:IsInjective}{3.2.2}{X7F065FD7822C0A12}
\makelabel{xmod:IsSurjective}{3.2.2}{X7F065FD7822C0A12}
\makelabel{xmod:IsSingleValued}{3.2.2}{X7F065FD7822C0A12}
\makelabel{xmod:IsTotal}{3.2.2}{X7F065FD7822C0A12}
\makelabel{xmod:IsBijective}{3.2.2}{X7F065FD7822C0A12}
\makelabel{xmod:IsEndo2dMapping}{3.2.2}{X7F065FD7822C0A12}
\makelabel{xmod:XModMorphism}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:XModMorphismByHoms}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:PreXModMorphism}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:PreXModMorphismByHoms}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:InclusionMorphism2dDomains}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:InnerAutomorphismXMod}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:IdentityMapping}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:IsomorphismPerm2dGroup}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:IsomorphismPc2dGroup}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:display a 2d-mapping}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:order of a 2d-automorphism}{3.2.3}{X7CEABD6487CF2A38}
\makelabel{xmod:IsCat1Morphism}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:IsPreCat1Morphism}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:Cat1Morphism}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:Cat1MorphismByHoms}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:PreCat1Morphism}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:PreCat1MorphismByHoms}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:InclusionMorphism2dDomains}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:InnerAutomorphismCat1}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:IdentityMapping}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:SmallerDegreePerm2dDomain}{3.3.1}{X7BB8A8E0803AC8E5}
\makelabel{xmod:operations on morphisms}{3.4}{X7B09A28579707CAF}
\makelabel{xmod:CompositionMorphism}{3.4.1}{X811F886081AAB95F}
\makelabel{xmod:Kernel}{3.4.2}{X7DCD99628504B810}
\makelabel{xmod:Kernel2dMapping}{3.4.2}{X7DCD99628504B810}
\makelabel{xmod:FactorXMod}{4.1.1}{X7F83C9347F1DC7CC}
\makelabel{xmod:NaturalMorphismByNormalSubXMod}{4.1.1}{X7F83C9347F1DC7CC}
\makelabel{xmod:IntersectionSubXMods}{4.1.2}{X8591E25680C5C575}
\makelabel{xmod:Displacement}{4.1.3}{X7E20208279038BB8}
\makelabel{xmod:DisplacementSubgroup}{4.1.3}{X7E20208279038BB8}
\makelabel{xmod:CommutatorSubXMod}{4.1.4}{X86ACB83E7D70C625}
\makelabel{xmod:CrossActionSubgroup}{4.1.4}{X86ACB83E7D70C625}
\makelabel{xmod:DerivedSubXMod}{4.1.5}{X86E0804B780A7FD6}
\makelabel{xmod:FixedPointSubgroupXMod}{4.1.6}{X85640DD17F5A2949}
\makelabel{xmod:StabilizerSubgroupXMod}{4.1.6}{X85640DD17F5A2949}
\makelabel{xmod:CentreXMod}{4.1.7}{X7B57446086BA1BF0}
\makelabel{xmod:Centralizer}{4.1.7}{X7B57446086BA1BF0}
\makelabel{xmod:Normalizer}{4.1.7}{X7B57446086BA1BF0}
\makelabel{xmod:CentralQuotient}{4.1.8}{X814D9E1E78EEE665}
\makelabel{xmod:IsAbelian2dGroup}{4.1.9}{X7A49EABB80CC67AD}
\makelabel{xmod:IsAspherical2dGroup}{4.1.9}{X7A49EABB80CC67AD}
\makelabel{xmod:IsSimplyConnected2dGroup}{4.1.9}{X7A49EABB80CC67AD}
\makelabel{xmod:IsFaithful2dGroup}{4.1.9}{X7A49EABB80CC67AD}
\makelabel{xmod:LowerCentralSeriesOfXMod}{4.1.10}{X87C524C08588AAC0}
\makelabel{xmod:IsNilpotent2dGroup}{4.1.10}{X87C524C08588AAC0}
\makelabel{xmod:NilpotencyClass2dGroup}{4.1.10}{X87C524C08588AAC0}
\makelabel{xmod:AllXMods}{4.1.11}{X81EE2188863E6E85}
\makelabel{xmod:IsomorphismXMods}{4.1.12}{X7C67623F797A0301}
\makelabel{xmod:AllXModsUpToIsomorphism}{4.1.12}{X7C67623F797A0301}
\makelabel{xmod:Isoclinism}{4.2.1}{X802A38467C55732E}
\makelabel{xmod:AreIsoclinicDomains}{4.2.1}{X802A38467C55732E}
\makelabel{xmod:IsStemDomain}{4.2.2}{X857685AA8398C9A9}
\makelabel{xmod:IsoclinicStemDomain}{4.2.2}{X857685AA8398C9A9}
\makelabel{xmod:AllStemGroupIds}{4.2.2}{X857685AA8398C9A9}
\makelabel{xmod:AllStemGroupFamilies}{4.2.2}{X857685AA8398C9A9}
\makelabel{xmod:IsoclinicRank}{4.2.3}{X85D39FD179B782D5}
\makelabel{xmod:IsoclinicMiddleLength}{4.2.3}{X85D39FD179B782D5}
\makelabel{xmod:Isoclinism}{4.3.1}{X802A38467C55732E}
\makelabel{xmod:AreIsoclinicDomains}{4.3.1}{X802A38467C55732E}
\makelabel{xmod:IsStemDomain}{4.3.2}{X857685AA8398C9A9}
\makelabel{xmod:IsoclinicStemDomain}{4.3.2}{X857685AA8398C9A9}
\makelabel{xmod:IsoclinicRank}{4.3.3}{X85D39FD179B782D5}
\makelabel{xmod:IsoclinicMiddleLength}{4.3.3}{X85D39FD179B782D5}
\makelabel{xmod:up 2d-mapping of 2d-group}{5}{X7C01AE7783898705}
\makelabel{xmod:Whitehead multiplication}{5.1}{X78790B7D87D9FD73}
\makelabel{xmod:IsDerivation}{5.1.1}{X82FE679F79FDBF75}
\makelabel{xmod:IsSection}{5.1.1}{X82FE679F79FDBF75}
\makelabel{xmod:IsUp2dMapping}{5.1.1}{X82FE679F79FDBF75}
\makelabel{xmod:derivation, of crossed module}{5.1.1}{X82FE679F79FDBF75}
\makelabel{xmod:Whitehead monoid}{5.1.1}{X82FE679F79FDBF75}
\makelabel{xmod:regular derivation}{5.1.1}{X82FE679F79FDBF75}
\makelabel{xmod:Whitehead group}{5.1.1}{X82FE679F79FDBF75}
\makelabel{xmod:section, of cat1-group}{5.1.1}{X82FE679F79FDBF75}
\makelabel{xmod:Whitehead multiplication}{5.1.1}{X82FE679F79FDBF75}
\makelabel{xmod:DerivationByImages}{5.1.2}{X83EC6F7780F5636E}
\makelabel{xmod:SectionByImages}{5.1.3}{X79FE2BFD85FE88B3}
\makelabel{xmod:SectionByDerivation}{5.1.3}{X79FE2BFD85FE88B3}
\makelabel{xmod:DerivationBySection}{5.1.3}{X79FE2BFD85FE88B3}
\makelabel{xmod:RegularDerivations}{5.2.1}{X84CD856C84BDB019}
\makelabel{xmod:AllDerivations}{5.2.1}{X84CD856C84BDB019}
\makelabel{xmod:RegularSections}{5.2.1}{X84CD856C84BDB019}
\makelabel{xmod:AllSections}{5.2.1}{X84CD856C84BDB019}
\makelabel{xmod:ImagesList}{5.2.1}{X84CD856C84BDB019}
\makelabel{xmod:ImagesTable}{5.2.1}{X84CD856C84BDB019}
\makelabel{xmod:CompositeDerivation}{5.2.2}{X804BC7FB7CD0B325}
\makelabel{xmod:UpImagePositions}{5.2.2}{X804BC7FB7CD0B325}
\makelabel{xmod:UpGeneratorImages}{5.2.2}{X804BC7FB7CD0B325}
\makelabel{xmod:CompositeSection}{5.2.2}{X804BC7FB7CD0B325}
\makelabel{xmod:WhiteheadGroupTable}{5.2.3}{X7F4E9D127E188A63}
\makelabel{xmod:WhiteheadMonoidTable}{5.2.3}{X7F4E9D127E188A63}
\makelabel{xmod:WhiteheadPermGroup}{5.2.3}{X7F4E9D127E188A63}
\makelabel{xmod:WhiteheadTransMonoid}{5.2.3}{X7F4E9D127E188A63}
\makelabel{xmod:actor}{6.1}{X7B853602873FC7AB}
\makelabel{xmod:AutomorphismPermGroup}{6.1.1}{X80F121357F06E72D}
\makelabel{xmod:GeneratingAutomorphisms}{6.1.1}{X80F121357F06E72D}
\makelabel{xmod:PermAutomorphismAsXModMorphism}{6.1.1}{X80F121357F06E72D}
\makelabel{xmod:WhiteheadXMod}{6.1.2}{X790EBC7C7D320C03}
\makelabel{xmod:LueXMod}{6.1.2}{X790EBC7C7D320C03}
\makelabel{xmod:NorrieXMod}{6.1.2}{X790EBC7C7D320C03}
\makelabel{xmod:ActorXMod}{6.1.2}{X790EBC7C7D320C03}
\makelabel{xmod:AutomorphismPermGroup}{6.1.2}{X790EBC7C7D320C03}
\makelabel{xmod:crossed square}{6.1.2}{X790EBC7C7D320C03}
\makelabel{xmod:XModCentre}{6.1.3}{X85CF21F57F0F1329}
\makelabel{xmod:InnerActorXMod}{6.1.3}{X85CF21F57F0F1329}
\makelabel{xmod:InnerMorphism}{6.1.3}{X85CF21F57F0F1329}
\makelabel{xmod:induced crossed module}{7.1}{X7966FF497C36C465}
\makelabel{xmod:InducedXMod}{7.1.1}{X874CB2A278AADE3A}
\makelabel{xmod:InducedCat1}{7.1.1}{X874CB2A278AADE3A}
\makelabel{xmod:IsInducedXMod}{7.1.1}{X874CB2A278AADE3A}
\makelabel{xmod:MorphismOfInducedXMod}{7.1.1}{X874CB2A278AADE3A}
\makelabel{xmod:AllInducedXMods}{7.1.2}{X7B24D47F8078540F}
\makelabel{xmod:crossed module}{8}{X8016C9727A692E1A}
\makelabel{xmod:cat2-group}{8}{X8016C9727A692E1A}
\makelabel{xmod:3d-group}{8}{X8016C9727A692E1A}
\makelabel{xmod:crossed pairing}{8}{X8016C9727A692E1A}
\makelabel{xmod:CrossedSquare}{8.1.1}{X87FBE3CE87DC8CD5}
\makelabel{xmod:CrossedSquareByNormalSubgroups}{8.1.1}{X87FBE3CE87DC8CD5}
\makelabel{xmod:ActorCrossedSquare}{8.1.1}{X87FBE3CE87DC8CD5}
\makelabel{xmod:Transpose3dGroup}{8.1.1}{X87FBE3CE87DC8CD5}
\makelabel{xmod:Name}{8.1.1}{X87FBE3CE87DC8CD5}
\makelabel{xmod:CentralQuotient}{8.1.2}{X814D9E1E78EEE665}
\makelabel{xmod:IsCrossedSquare}{8.1.3}{X8645AA3686F126D5}
\makelabel{xmod:Is3dObject}{8.1.3}{X8645AA3686F126D5}
\makelabel{xmod:IsPerm3dObject}{8.1.3}{X8645AA3686F126D5}
\makelabel{xmod:IsPc3dObject}{8.1.3}{X8645AA3686F126D5}
\makelabel{xmod:IsFp3dObject}{8.1.3}{X8645AA3686F126D5}
\makelabel{xmod:IsPreCrossedSquare}{8.1.3}{X8645AA3686F126D5}
\makelabel{xmod:Up2dGroup}{8.1.4}{X7DB1FE4B852EE730}
\makelabel{xmod:Left2dGroup}{8.1.4}{X7DB1FE4B852EE730}
\makelabel{xmod:Down2dGroup}{8.1.4}{X7DB1FE4B852EE730}
\makelabel{xmod:Right2dGroup}{8.1.4}{X7DB1FE4B852EE730}
\makelabel{xmod:DiagonalAction}{8.1.4}{X7DB1FE4B852EE730}
\makelabel{xmod:XPairing}{8.1.4}{X7DB1FE4B852EE730}
\makelabel{xmod:ImageElmXPairing}{8.1.4}{X7DB1FE4B852EE730}
\makelabel{xmod:morphism of 3d-group}{8.2}{X78A79A7E85128C7B}
\makelabel{xmod:crossed square morphism}{8.2}{X78A79A7E85128C7B}
\makelabel{xmod:3d-mapping}{8.2}{X78A79A7E85128C7B}
\makelabel{xmod:Source}{8.2.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Range}{8.2.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Up2dMorphism}{8.2.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Left2dMorphism}{8.2.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Down2dMorphism}{8.2.1}{X7DE8173F80E07AB1}
\makelabel{xmod:Right2dMorphism}{8.2.1}{X7DE8173F80E07AB1}
\makelabel{xmod:IsCrossedSquareMorphism}{8.2.2}{X8284240C7B9BB783}
\makelabel{xmod:IsPreCrossedSquareMorphism}{8.2.2}{X8284240C7B9BB783}
\makelabel{xmod:IsBijective}{8.2.2}{X8284240C7B9BB783}
\makelabel{xmod:IsEndomorphism3dObject}{8.2.2}{X8284240C7B9BB783}
\makelabel{xmod:IsAutomorphism3dObject}{8.2.2}{X8284240C7B9BB783}
\makelabel{xmod:crossed module of groupoids}{9}{X80B3A81B7E5CA3A9}
\makelabel{xmod:crossed module over a groupoid}{9.1}{X847F4ED77F50528C}
\makelabel{xmod:2d-domain with objects}{9.1}{X847F4ED77F50528C}
\makelabel{xmod:DiscreteNormalPreXModWithObjects}{9.1.1}{X7A8F33BC7E00A6B8}
\makelabel{xmod:PreXModWithObjectsObj}{9.1.1}{X7A8F33BC7E00A6B8}
\makelabel{xmod:inclusion mapping}{10.1}{X844AFC3A7DD6E190}
\makelabel{xmod:restriction mapping}{10.1}{X844AFC3A7DD6E190}
\makelabel{xmod:InclusionMappingGroups}{10.1.1}{X7F8E297F7C84DE51}
\makelabel{xmod:MappingToOne}{10.1.1}{X7F8E297F7C84DE51}
\makelabel{xmod:InnerAutomorphismsByNormalSubgroup}{10.1.2}{X81D29E737F3D4878}
\makelabel{xmod:IsGroupOfAutomorphisms}{10.1.2}{X81D29E737F3D4878}
\makelabel{xmod:abelian module}{10.2}{X852BD9CA84C2AFF0}
\makelabel{xmod:AbelianModuleObject}{10.2.1}{X806DEFCC859BB4F1}
\makelabel{xmod:IsAbelianModule}{10.2.1}{X806DEFCC859BB4F1}
\makelabel{xmod:AbelianModuleGroup}{10.2.1}{X806DEFCC859BB4F1}
\makelabel{xmod:AbelianModuleAction}{10.2.1}{X806DEFCC859BB4F1}
\makelabel{xmod:version 1 for GAP 3}{11.1.1}{X86E288B17E976C5E}
\makelabel{xmod:version 2.001 for GAP 4}{11.1.3}{X7DF294D2787047B1}
