# HG changeset patch
# User wenzelm
# Date 976899545 -3600
# Node ID b619b56f562f8ed9e13ade75a403d1311361c2fc
# Parent  bbb4e5bae1c19cab3861233294bd98cf7e797cdf
restore \int (integral);

diff -r bbb4e5bae1c1 -r b619b56f562f doc-src/System/system.tex
--- 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