--- a/doc-src/AxClass/generated/isabellesym.sty Fri Jan 19 19:26:02 2001 +0100
+++ b/doc-src/AxClass/generated/isabellesym.sty Fri Jan 19 23:28:50 2001 +0100
@@ -157,9 +157,9 @@
\newcommand{\isasymbottom}{\isamath{\bot}}
\newcommand{\isasymtop}{\isamath{\top}}
\newcommand{\isasymand}{\isamath{\wedge}}
-\newcommand{\isasymAnd}{\isamath{\bigwedge\,}}
+\newcommand{\isasymAnd}{\isamath{\bigwedge}}
\newcommand{\isasymor}{\isamath{\vee}}
-\newcommand{\isasymOr}{\isamath{\bigvee\,}}
+\newcommand{\isasymOr}{\isamath{\bigvee}}
\newcommand{\isasymforall}{\isamath{\forall\,}}
\newcommand{\isasymexists}{\isamath{\exists\,}}
\newcommand{\isasymbox}{\isamath{\Box}} %requires latexsym
--- a/doc-src/TutorialI/isabellesym.sty Fri Jan 19 19:26:02 2001 +0100
+++ b/doc-src/TutorialI/isabellesym.sty Fri Jan 19 23:28:50 2001 +0100
@@ -157,9 +157,9 @@
\newcommand{\isasymbottom}{\isamath{\bot}}
\newcommand{\isasymtop}{\isamath{\top}}
\newcommand{\isasymand}{\isamath{\wedge}}
-\newcommand{\isasymAnd}{\isamath{\bigwedge\,}}
+\newcommand{\isasymAnd}{\isamath{\bigwedge}}
\newcommand{\isasymor}{\isamath{\vee}}
-\newcommand{\isasymOr}{\isamath{\bigvee\,}}
+\newcommand{\isasymOr}{\isamath{\bigvee}}
\newcommand{\isasymforall}{\isamath{\forall\,}}
\newcommand{\isasymexists}{\isamath{\exists\,}}
\newcommand{\isasymbox}{\isamath{\Box}} %requires latexsym