# HG changeset patch
# User wenzelm
# Date 1289166169 -3600
# Node ID 25ba6b2559e11c52c684555996fc8342308b47d5
# Parent  db905e068a603bf7a31cdbdab79a3a7f36517f74
updated generated file;

diff -r db905e068a60 -r 25ba6b2559e1 doc-src/isabellesym.sty
--- a/doc-src/isabellesym.sty	Sun Nov 07 22:26:25 2010 +0100
+++ b/doc-src/isabellesym.sty	Sun Nov 07 22:42:49 2010 +0100
@@ -1,5 +1,3 @@
-%%
-%% 
 %%
 %% definitions of standard Isabelle symbols
 %%
@@ -251,7 +249,7 @@
 \newcommand{\isasymsqunion}{\isamath{\sqcup}}
 \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
 \newcommand{\isasymsqinter}{\isamath{\sqcap}}
-\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires amsmath
+\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires stmaryrd
 \newcommand{\isasymsetminus}{\isamath{\setminus}}
 \newcommand{\isasympropto}{\isamath{\propto}}
 \newcommand{\isasymuplus}{\isamath{\uplus}}