--- a/doc-src/System/system.tex Sat Jan 10 17:59:32 1998 +0100
+++ b/doc-src/System/system.tex Mon Jan 12 13:32:47 1998 +0100
@@ -7,13 +7,10 @@
\title{The Isabelle System Manual}
-\author{{\em Lawrence C. Paulson} \\
- Computer Laboratory \\ University of Cambridge \\
- \texttt{lcp@cl.cam.ac.uk}\\[3ex]
- With Contributions by Tobias Nipkow and Markus
- Wenzel\thanks{Section~\protect\ref{sec:info} was written by Carsten
- Clasohm. Section~\protect\ref{sec:browse} was written by Stefan
- Berghofer. Other parts are by Markus Wenzel.}}
+\author{{\em Markus Wenzel}\/\thanks{Section~\protect\ref{sec:info} was
+ written by Carsten Clasohm. Section~\protect\ref{sec:browse} was
+ written by Stefan Berghofer.} \\
+ TU M\"unchen}
\makeindex