# HG changeset patch
# User wenzelm
# Date 884608367 -3600
# Node ID 779d55cc63288ec810a8d70c73c1e8c987558af0
# Parent  bb8ff763c93d89bfb9e6feaaa0a7049fd2f667fd
fixed author;

diff -r bb8ff763c93d -r 779d55cc6328 doc-src/System/system.tex
--- 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