\makelabel{format:Introduction to FORMAT}{1}
\makelabel{format:Formations in GAP}{2}
\makelabel{format:Formation}{2}
\makelabel{format:Formation}{2}
\makelabel{format:IsFormation}{2}
\makelabel{format:NameOfFormation}{2}
\makelabel{format:ResidualFunctionOfFormation}{2}
\makelabel{format:ScreenOfFormation}{2}
\makelabel{format:SupportOfFormation}{2}
\makelabel{format:ChangedSupport}{2}
\makelabel{format:IsIntegrated}{2}
\makelabel{format:Integrated}{2}
\makelabel{format:formation!equality}{2}
\makelabel{format:formation!comparison}{2}
\makelabel{format:Intersection}{2}
\makelabel{format:ProductOfFormations}{2}
\makelabel{format:Residual Functions}{3}
\makelabel{format:ResidualWrtFormation}{3}
\makelabel{format:NilpotentResidual}{3}
\makelabel{format:PResidual}{3}
\makelabel{format:PiResidual}{3}
\makelabel{format:CoprimeResidual}{3}
\makelabel{format:ElementaryAbelianProductResidual}{3}
\makelabel{format:FNormalizers}{4}
\makelabel{format:FNormalizerWrtFormation}{4}
\makelabel{format:SystemNormalizer}{4}
\makelabel{format:Covering Subgroups}{5}
\makelabel{format:CoveringSubgroup1}{5}
\makelabel{format:CoveringSubgroup2}{5}
\makelabel{format:CoveringSubgroupWrtFormation}{5}
\makelabel{format:CarterSubgroup}{5}
\makelabel{format:Formation Examples}{6}
\makelabel{format:Other Applications}{7}
\makelabel{format:Bibliography}{}
\setcitlab {CH}{CH67}
\setcitlab {DH}{DH92}
\setcitlab {EW}{EW}
\setcitlab {G}{Gas63}
\setcitlab {WA}{Wri73a}
\setcitlab {WB}{Wri73b}
\makelabel{format:Index}{}
