%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%%  manual.tex               CRISP documentation           Burkhard H\"ofling
%%
%%  @(#)$Id: manual.tex,v 1.12 2007/10/03 15:37:16 gap Exp $
%%
%%  Copyright (C) 2000, Burkhard H\"ofling, Mathematisches Institut,
%%  Friedrich Schiller-Universit\"at Jena, Germany
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\input ../../../doc/gapmacro.tex
\hyphenation{Is-ListOr-Col-lec-tion}
\Package{CRISP}
\Package{FORMAT}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\BeginningOfBook{crisp}
  \UseReferences{../../../doc/ref}
  \TitlePage{
    \vfill
    \centerline{\inchhigh CRISP}
    \bigskip
    \bigskip
    \bigskip
    \centerline{\subtitlefont Version 1.3.2}
    \bigskip
    \bigskip
    \centerline{\subtitlefont Computing with Radicals, Injectors}
    \medskip
    \centerline{\subtitlefont Schunck classes and Projectors}
    \medskip
    \centerline{\subtitlefont of finite solvable groups}          
    \bigskip
    \bigskip
    \bigskip
    \bigskip
    \centerline{\subtitlefont Burkhard H{\accent 127 o}f{}ling}
    \bigskip
    \centerline{\secfont Institut f{\accent 127 u}r Geometrie, Algebra und Diskrete
       Mathematik}
    \medskip
    \centerline{\secfont Technische Universit{\accent 127 a}t}
    \medskip
    \centerline{\secfont Braunschweig, Germany}
    \vfill
  }

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \TableOfContents
  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \FrontMatter
  
%    \Input{copyright}
%    \Input{preface}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \Chapters
  
    \Input{intro}
    \Input{classes}    % classes
    \Input{grpclass}   % group classes and closure properties
    \Input{schunck}    % Schunck classes and formations
    \Input{fitting}    % Fitting sets, normal subgroups
    \Input{examples}   % pre-defined classes and class families

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \Appendices     % don't uncomment - this is needed for the online manual
  
    \Bibliography
    \Index

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\EndOfBook

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%E
%%