C intro.tex 1. Introduction to FORMAT I 1.0. Format C forms.tex 2. Formations in GAP F 2.0. Formation F 2.0. Formation F 2.0. IsFormation F 2.0. NameOfFormation F 2.0. ResidualFunctionOfFormation F 2.0. ScreenOfFormation F 2.0. SupportOfFormation F 2.0. ChangedSupport F 2.0. IsIntegrated F 2.0. Integrated F 2.0. formation!equality F 2.0. formation!comparison F 2.0. Intersection F 2.0. ProductOfFormations C resid.tex 3. Residual Functions F 3.0. ResidualWrtFormation F 3.0. NilpotentResidual F 3.0. PResidual F 3.0. PiResidual F 3.0. CoprimeResidual F 3.0. ElementaryAbelianProductResidual C norm.tex 4. FNormalizers F 4.0. FNormalizerWrtFormation F 4.0. SystemNormalizer C cover.tex 5. Covering Subgroups F 5.0. CoveringSubgroup1 F 5.0. CoveringSubgroup2 F 5.0. CoveringSubgroupWrtFormation F 5.0. CarterSubgroup C examples.tex 6. Formation Examples C others.tex 7. Other Applications