doc-src/System/system.tex

--- a/doc-src/System/system.tex	Tue Dec 11 15:04:17 2001 +0100
+++ b/doc-src/System/system.tex	Tue Dec 11 15:36:28 2001 +0100
@@ -8,7 +8,6 @@
 \usepackage[latin1]{inputenc}
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage{wasysym}
-\usepackage{eufrak}
 \usepackage{textcomp}
 \usepackage{marvosym}
 \usepackage{supertabular}
@@ -40,7 +39,6 @@
 \include{basics}
 \include{present}
 \include{misc}
-\include{fonts}
 
 \appendix
 \let\int\intorig