doc-src/System/system.tex

 \title{The Isabelle System Manual}
 
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
         \texttt{[e-mail]}\\[3ex] 
-        With Contributions by Tobias Nipkow and Markus Wenzel}
-%FIXME not yet
-%        \thanks{Section~\protect\ref{sec:html} was written by Carsten
-%          Clasohm.  Chapter~\protect\ref{sec:browse} was written by Stefan
-%          Berghofer. Other parts are by Markus Wenzel.}
+        With Contributions by Tobias Nipkow and Markus Wenzel
+        \thanks{Section~\protect\ref{sec:html} was written by Carsten
+          Clasohm.  Chapter~\protect\ref{sec:browse} was written by Stefan
+          Berghofer. Other parts are by Markus Wenzel.}}
 
 \makeindex
 
 \setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}