
diff -r e040e8627bbb -r ccceb5fb517d lib/texinputs/isabellesym.sty
--- 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




