diff -r c13e54126fcd -r 0b3ff84bab29 doc-src/System/system.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/System/system.tex	Mon May 12 18:26:53 1997 +0200
@@ -0,0 +1,46 @@
+
+%% $Id$
+
+\documentclass[12pt]{report}
+\usepackage{a4,epsf}
+
+\makeatletter
+\input{../iman.sty}
+\input{../extra.sty}
+\makeatother
+
+\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{  Chapter~\protect\ref{html} was written by Carsten Clasohm.
+  Chapter~\protect\ref{browse} was written by Stefan Berghofer.}}
+
+\makeindex
+
+\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
+
+\pagestyle{headings}
+\sloppy
+\binperiod     %%%treat . like a binary operator
+
+\begin{document}
+\underscoreoff
+
+\maketitle 
+\pagenumbering{roman} \tableofcontents \clearfirst
+
+%\include{introduction}
+
+\include{html}
+\include{browse}
+
+%\begingroup
+%  \bibliographystyle{plain} \small\raggedright\frenchspacing
+%  \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}
+%\endgroup
+
+\input{system.ind}
+\end{document}