# HG changeset patch
# User wenzelm
# Date 979846568 -3600
# Node ID ccceb5fb517dbff68a6f947e83d3057324c97ae6
# Parent  e040e8627bbb7861fda39bfdce23810b4b1628eb
tuned \<And> and \<Or>;

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