--- a/doc-src/System/system.tex Sun Nov 30 14:03:45 2008 +0100
+++ b/doc-src/System/system.tex Sun Nov 30 14:03:46 2008 +0100
@@ -20,7 +20,7 @@
\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
\author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
- TU München}
+ TU M\"unchen}
\makeindex
@@ -31,6 +31,7 @@
\pagenumbering{roman} \tableofcontents \clearfirst
\input{Thy/document/Basics.tex}
+\input{Thy/document/Interfaces.tex}
\input{Thy/document/Presentation.tex}
\input{Thy/document/Misc.tex}