# HG changeset patch
# User wenzelm
# Date 979943330 -3600
# Node ID 6bbc41330b682ae75da43e7b4cbe5fdd3da655a6
# Parent  6c09cae3b4ad7dc7368bcb6d1f7c9f0291336b9b
updated;

diff -r 6c09cae3b4ad -r 6bbc41330b68 doc-src/AxClass/generated/isabellesym.sty
--- 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
diff -r 6c09cae3b4ad -r 6bbc41330b68 doc-src/TutorialI/isabellesym.sty
--- 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