updated generated file;
authorwenzelm
Sun Nov 07 22:42:49 2010 +0100 (2010-11-07)
changeset 4040125ba6b2559e1
parent 40400 db905e068a60
child 40402 b646316f8b3c
child 40403 e2721ac2a258
updated generated file;
doc-src/isabellesym.sty
     1.1 --- a/doc-src/isabellesym.sty	Sun Nov 07 22:26:25 2010 +0100
     1.2 +++ b/doc-src/isabellesym.sty	Sun Nov 07 22:42:49 2010 +0100
     1.3 @@ -1,5 +1,3 @@
     1.4 -%%
     1.5 -%% 
     1.6  %%
     1.7  %% definitions of standard Isabelle symbols
     1.8  %%
     1.9 @@ -251,7 +249,7 @@
    1.10  \newcommand{\isasymsqunion}{\isamath{\sqcup}}
    1.11  \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
    1.12  \newcommand{\isasymsqinter}{\isamath{\sqcap}}
    1.13 -\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires amsmath
    1.14 +\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires stmaryrd
    1.15  \newcommand{\isasymsetminus}{\isamath{\setminus}}
    1.16  \newcommand{\isasympropto}{\isamath{\propto}}
    1.17  \newcommand{\isasymuplus}{\isamath{\uplus}}