diff -r 1db42f739ee7 -r 930ac2bfa637 doc-src/System/system.tex
--- a/doc-src/System/system.tex	Mon Dec 04 17:30:40 2000 +0100
+++ b/doc-src/System/system.tex	Mon Dec 04 23:16:25 2000 +0100
@@ -2,8 +2,16 @@
 %% $Id$
 
 \documentclass[12pt,a4paper]{report}
-\usepackage{graphicx,../iman,../extra,../ttbox,../pdfsetup}
+\usepackage{latexsym}
+\usepackage{amssymb}
+\usepackage[english]{babel}
+\usepackage[latin1]{inputenc}
+\usepackage[only,bigsqcap]{stmaryrd}
+\usepackage{wasysym}
+\usepackage{supertabular}
+\usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}
 
+\isabellestyle{it}
 
 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
 
@@ -30,6 +38,9 @@
 \include{misc}
 \include{fonts}
 
+\appendix
+\include{symbols}
+
 \begingroup
   \bibliographystyle{plain} \small\raggedright\frenchspacing
   \bibliography{../manual}