restore \int (integral);

--- a/doc-src/System/system.tex	Fri Dec 15 17:58:40 2000 +0100
+++ b/doc-src/System/system.tex	Fri Dec 15 17:59:05 2000 +0100
@@ -9,6 +9,7 @@
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage{wasysym}
 \usepackage{supertabular}
+\let\intorig=\int  %iman.sty redefines \int
 \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}
 
 \isabellestyle{it}
@@ -39,6 +40,7 @@
 \include{fonts}
 
 \appendix
+\let\int\intorig
 \include{symbols}
 
 \begingroup