--- a/lib/texinputs/isabellesym.sty Thu Jan 18 20:35:39 2001 +0100
+++ b/lib/texinputs/isabellesym.sty Thu Jan 18 20:36:08 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