--- a/doc-src/System/system.tex Tue Dec 11 15:36:28 2001 +0100
+++ b/doc-src/System/system.tex Tue Dec 11 15:58:32 2001 +0100
@@ -9,7 +9,7 @@
\usepackage[only,bigsqcap]{stmaryrd}
\usepackage{wasysym}
\usepackage{textcomp}
-\usepackage{marvosym}
+\let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig %bug in marvosym!?
\usepackage{supertabular}
\let\intorig=\int %iman.sty redefines \int
\usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}