# HG changeset patch
# User wenzelm
# Date 1007427589 -3600
# Node ID 54aef8e41437907f0a3d297d5fdbc9eae2e07263
# Parent  5fad0e7129c3d3b2451df9d37551426bbb30ddd0
\usepackage{textcomp}, \usepackage{marvosym};

diff -r 5fad0e7129c3 -r 54aef8e41437 doc-src/System/system.tex
--- 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}