--- 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}}