doc-src/System/system.tex
changeset 10974 f23a58cf12a4
parent 10679 b619b56f562f
child 12351 54aef8e41437
     1.1 --- a/doc-src/System/system.tex	Wed Jan 24 20:55:29 2001 +0100
     1.2 +++ b/doc-src/System/system.tex	Wed Jan 24 20:56:12 2001 +0100
     1.3 @@ -8,6 +8,7 @@
     1.4  \usepackage[latin1]{inputenc}
     1.5  \usepackage[only,bigsqcap]{stmaryrd}
     1.6  \usepackage{wasysym}
     1.7 +\usepackage{eufrak}
     1.8  \usepackage{supertabular}
     1.9  \let\intorig=\int  %iman.sty redefines \int
    1.10  \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}