--- a/doc-src/Ref/ref.tex Mon Oct 20 11:47:04 1997 +0200
+++ b/doc-src/Ref/ref.tex Mon Oct 20 11:53:42 1997 +0200
@@ -21,7 +21,8 @@
\texttt{lcp@cl.cam.ac.uk}\\[3ex]
With Contributions by Tobias Nipkow and Markus Wenzel%
\thanks{Tobias Nipkow, of T. U. Munich, wrote most of
- Chapters~\protect\ref{Defining-Logics} and~\protect\ref{simp-chap}, and part of
+ Chapters~\protect\ref{Defining-Logics} and~\protect\ref{chap:simplification},
+ and part of
Chapter~\protect\ref{theories}. Carsten Clasohm also contributed to
Chapter~\protect\ref{theories}. Markus Wenzel contributed to
Chapter~\protect\ref{chap:syntax}. Sara Kalvala, Martin Simons and others