doc-src/System/system.tex

         Computer Laboratory \\ University of Cambridge \\
         \texttt{[e-mail]}\\[3ex] 
         With Contributions by Tobias Nipkow and Markus Wenzel%
         \thanks{Chapter~\protect\ref{html} was written by Carsten
           Clasohm.  Chapter~\protect\ref{browse} was written by Stefan
-          Berghofer. Some other parts are by Markus Wenzel.}}
+          Berghofer. Other parts are by Markus Wenzel.}}
 
 \makeindex
 
 \setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
 

 \maketitle 
 \pagenumbering{roman} \tableofcontents \clearfirst
 
 %\include{introduction}
 
-\include{html}
+\include{basics}
+\include{misc}
+\include{fonts}
+\include{present}
 \include{browse}
 
 %\begingroup
 %  \bibliographystyle{plain} \small\raggedright\frenchspacing
 %  \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}