1.1 --- a/doc-src/isac/mat-eng-de.tex	Mon Jul 26 14:46:45 2010 +0200
     1.2 +++ b/doc-src/isac/mat-eng-de.tex	Tue Jul 27 09:00:45 2010 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4  \listoftables
     1.5  \newpage
     1.6  
     1.7 -\chapter{Einleitung}
     1.8 +\chapter{Einleitung} 
     1.9  \section{``Authoring'' und ``Tutoring''}
    1.10  {TO DO} Mathematik lernen -- verschiedene Autoren -- Isabelle
    1.11  Die Grundlage f\"ur \isac{} bildet Isabelle. Dies ist ein ``theorem prover'', der von L. Paulson und T. Nipkow entwickelt wird und Hard- und Software pr\"uft.