--- a/lib/texinputs/isabellesym.sty Fri May 14 16:54:13 2004 +0200
+++ b/lib/texinputs/isabellesym.sty Fri May 14 19:29:22 2004 +0200
@@ -248,7 +248,7 @@
\newcommand{\isasymsqunion}{\isamath{\sqcup}}
\newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
\newcommand{\isasymsqinter}{\isamath{\sqcap}}
-\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}} %requires masmath
+\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}} %requires amsmath
\newcommand{\isasymuplus}{\isamath{\uplus}}
\newcommand{\isasymUplus}{\isamath{\biguplus\,}}
\newcommand{\isasymnoteq}{\isamath{\not=}}