# HG changeset patch
# User paulson
# Date 1084959718 -7200
# Node ID 5d8a9900cabc0085d342501bd9eb96b8bec799b0
# Parent  c1fd297712ba93511b693c252b26eb8141e7a58e
auto update

diff -r c1fd297712ba -r 5d8a9900cabc doc-src/TutorialI/isabellesym.sty
--- a/doc-src/TutorialI/isabellesym.sty	Wed May 19 11:31:26 2004 +0200
+++ b/doc-src/TutorialI/isabellesym.sty	Wed May 19 11:41:58 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=}}