1.1 --- a/lib/texinputs/isabellesym.sty	Tue Mar 31 14:09:58 2009 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Tue Mar 31 14:10:14 2009 +0200
     1.3 @@ -249,7 +249,7 @@
     1.4  \newcommand{\isasymsqunion}{\isamath{\sqcup}}
     1.5  \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
     1.6  \newcommand{\isasymsqinter}{\isamath{\sqcap}}
     1.7 -\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires amsmath
     1.8 +\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires stmaryrd
     1.9  \newcommand{\isasymsetminus}{\isamath{\setminus}}
    1.10  \newcommand{\isasympropto}{\isamath{\propto}}
    1.11  \newcommand{\isasymuplus}{\isamath{\uplus}}