
diff -r 889e5b7e006c -r ca9fdab0f971 doc-src/System/system.tex
--- a/doc-src/System/system.tex	Mon Sep 15 17:32:12 2008 +0200
+++ b/doc-src/System/system.tex	Mon Sep 15 19:42:22 2008 +0200
@@ -26,7 +26,7 @@
 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
 
 \author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
-  TU M\"unchen}
+  TU München}
 
 \makeindex
 
@@ -37,7 +37,7 @@
 \pagenumbering{roman} \tableofcontents \clearfirst
 
 \input{Thy/document/Basics}
-\input{present}
+\input{Thy/document/Presentation}
 \input{misc}
 
 \appendix




