\usepackage{textcomp}, \usepackage{marvosym};

--- a/doc-src/System/system.tex	Mon Dec 03 21:31:55 2001 +0100
+++ b/doc-src/System/system.tex	Tue Dec 04 01:59:49 2001 +0100
@@ -9,6 +9,8 @@
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage{wasysym}
 \usepackage{eufrak}
+\usepackage{textcomp}
+\usepackage{marvosym}
 \usepackage{supertabular}
 \let\intorig=\int  %iman.sty redefines \int
 \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}