\chapcontents {1}{What is ITC?}{3}
\seccontents {1.1}{Background} {3}
\seccontents {1.2}{Teaching CE} {3}
\seccontents {1.3}{Experimenting with CE Strategies} {4}
\seccontents {1.4}{How does it work?} {4}
\seccontents {1.5}{Acknowledgements and Addresses} {6}
\chapcontents {2}{How to Start?}{7}
\seccontents {2.1}{Starting XGAP} {7}
\seccontents {2.2}{Starting ITC} {7}
\chapcontents {3}{The Basic Operations}{9}
\seccontents {3.1}{Making a Definition} {9}
\seccontents {3.2}{Some Definition Strategies} {9}
\seccontents {3.3}{Handling a Coincidence} {11}
\seccontents {3.4}{Sorting Definitions} {11}
\seccontents {3.5}{The Short-cut Method} {12}
\chapcontents {4}{The Tables}{13}
\seccontents {4.1}{The Coset Table} {13}
\seccontents {4.2}{Warnings} {14}
\seccontents {4.3}{The Information Line} {15}
\seccontents {4.4}{The List of Relators} {16}
\seccontents {4.5}{The Relation Tables} {16}
\seccontents {4.6}{The List of Subgroup Generators} {16}
\seccontents {4.7}{The Subgroup Tables} {16}
\seccontents {4.8}{The Table of Definitions} {17}
\seccontents {4.9}{The List of Length 1 Gaps} {17}
\seccontents {4.10}{The List of Pending Coincidences} {18}
\chapcontents {5}{Buttons and Menus}{19}
\seccontents {5.1}{The Top Buttons} {20}
\seccontents {5.2}{The Bottom Buttons} {23}
\chapcontents {6}{Examples}{27}
\seccontents {6.1}{A Presentation by A. Cavicchioli} {27}
\seccontents {6.2}{The Fibonacci Group F(2,7)} {30}
\seccontents {6.3}{A Presentation by B.H. Neumann} {32}
\seccontents {6.4}{The Group (8,7;2,3)} {32}
\chapcontents {}{Bibliography}{34}
\chapcontents {}{Index}{35}