# HG changeset patch
# User wenzelm
# Date 1127246856 -7200
# Node ID 1b7c2f7df2e62c5eb16f50baae6b35ada36312c6
# Parent  cd0a4847d0b8252571ede5116daf2197affb982c
updated;

diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/AxClass/Group/document/isabelle.sty
--- a/doc-src/AxClass/Group/document/isabelle.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/AxClass/Group/document/isabelle.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% macros for Isabelle generated LaTeX output
 %%
-%% 
 
 %%% Simple document preparation (based on theory token language and symbols)
 
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/AxClass/Group/document/isabellesym.sty
--- a/doc-src/AxClass/Group/document/isabellesym.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/AxClass/Group/document/isabellesym.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,21 +1,18 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% definitions of standard Isabelle symbols
 %%
-%% 
-
-% symbol definitions
 
 \newcommand{\isasymzero}{\isamath{\mathbf{0}}}  %requires amssymb
-\newcommand{\isasymone}{\isamath{\mathbf{1}}}   %requires amssymb
-\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}   %requires amssymb
-\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb
+\newcommand{\isasymone}{\isamath{\mathbf{1}}}  %requires amssymb
+\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}  %requires amssymb
+\newcommand{\isasymthree}{\isamath{\mathbf{3}}}  %requires amssymb
 \newcommand{\isasymfour}{\isamath{\mathbf{4}}}  %requires amssymb
 \newcommand{\isasymfive}{\isamath{\mathbf{5}}}  %requires amssymb
-\newcommand{\isasymsix}{\isamath{\mathbf{6}}}   %requires amssymb
-\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb
-\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb
+\newcommand{\isasymsix}{\isamath{\mathbf{6}}}  %requires amssymb
+\newcommand{\isasymseven}{\isamath{\mathbf{7}}}  %requires amssymb
+\newcommand{\isasymeight}{\isamath{\mathbf{8}}}  %requires amssymb
 \newcommand{\isasymnine}{\isamath{\mathbf{9}}}  %requires amssymb
 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
 \newcommand{\isasymB}{\isamath{\mathcal{B}}}
@@ -208,8 +205,8 @@
 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
-\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel 
-\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel 
+\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
+\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
 \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
 \newcommand{\isasymnot}{\isamath{\neg}}
 \newcommand{\isasymbottom}{\isamath{\bot}}
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/IsarOverview/Isar/document/isabelle.sty
--- a/doc-src/IsarOverview/Isar/document/isabelle.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/IsarOverview/Isar/document/isabelle.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% macros for Isabelle generated LaTeX output
 %%
-%% 
 
 %%% Simple document preparation (based on theory token language and symbols)
 
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/IsarOverview/Isar/document/isabellesym.sty
--- a/doc-src/IsarOverview/Isar/document/isabellesym.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/IsarOverview/Isar/document/isabellesym.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,21 +1,18 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% definitions of standard Isabelle symbols
 %%
-%% 
-
-% symbol definitions
 
 \newcommand{\isasymzero}{\isamath{\mathbf{0}}}  %requires amssymb
-\newcommand{\isasymone}{\isamath{\mathbf{1}}}   %requires amssymb
-\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}   %requires amssymb
-\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb
+\newcommand{\isasymone}{\isamath{\mathbf{1}}}  %requires amssymb
+\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}  %requires amssymb
+\newcommand{\isasymthree}{\isamath{\mathbf{3}}}  %requires amssymb
 \newcommand{\isasymfour}{\isamath{\mathbf{4}}}  %requires amssymb
 \newcommand{\isasymfive}{\isamath{\mathbf{5}}}  %requires amssymb
-\newcommand{\isasymsix}{\isamath{\mathbf{6}}}   %requires amssymb
-\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb
-\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb
+\newcommand{\isasymsix}{\isamath{\mathbf{6}}}  %requires amssymb
+\newcommand{\isasymseven}{\isamath{\mathbf{7}}}  %requires amssymb
+\newcommand{\isasymeight}{\isamath{\mathbf{8}}}  %requires amssymb
 \newcommand{\isasymnine}{\isamath{\mathbf{9}}}  %requires amssymb
 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
 \newcommand{\isasymB}{\isamath{\mathcal{B}}}
@@ -208,8 +205,8 @@
 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
-\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel 
-\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel 
+\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
+\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
 \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
 \newcommand{\isasymnot}{\isamath{\neg}}
 \newcommand{\isasymbottom}{\isamath{\bot}}
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/IsarOverview/Isar/document/pdfsetup.sty
--- a/doc-src/IsarOverview/Isar/document/pdfsetup.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/IsarOverview/Isar/document/pdfsetup.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% smart url or hyperref setup
 %%
-%% 
 
 \@ifundefined{pdfoutput}
 {\usepackage{url}}
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/LaTeXsugar/Sugar/document/isabelle.sty
--- a/doc-src/LaTeXsugar/Sugar/document/isabelle.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/document/isabelle.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% macros for Isabelle generated LaTeX output
 %%
-%% 
 
 %%% Simple document preparation (based on theory token language and symbols)
 
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/LaTeXsugar/Sugar/document/isabellesym.sty
--- a/doc-src/LaTeXsugar/Sugar/document/isabellesym.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/document/isabellesym.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,21 +1,18 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% definitions of standard Isabelle symbols
 %%
-%% 
-
-% symbol definitions
 
 \newcommand{\isasymzero}{\isamath{\mathbf{0}}}  %requires amssymb
-\newcommand{\isasymone}{\isamath{\mathbf{1}}}   %requires amssymb
-\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}   %requires amssymb
-\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb
+\newcommand{\isasymone}{\isamath{\mathbf{1}}}  %requires amssymb
+\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}  %requires amssymb
+\newcommand{\isasymthree}{\isamath{\mathbf{3}}}  %requires amssymb
 \newcommand{\isasymfour}{\isamath{\mathbf{4}}}  %requires amssymb
 \newcommand{\isasymfive}{\isamath{\mathbf{5}}}  %requires amssymb
-\newcommand{\isasymsix}{\isamath{\mathbf{6}}}   %requires amssymb
-\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb
-\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb
+\newcommand{\isasymsix}{\isamath{\mathbf{6}}}  %requires amssymb
+\newcommand{\isasymseven}{\isamath{\mathbf{7}}}  %requires amssymb
+\newcommand{\isasymeight}{\isamath{\mathbf{8}}}  %requires amssymb
 \newcommand{\isasymnine}{\isamath{\mathbf{9}}}  %requires amssymb
 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
 \newcommand{\isasymB}{\isamath{\mathcal{B}}}
@@ -208,8 +205,8 @@
 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
-\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel 
-\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel 
+\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
+\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
 \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
 \newcommand{\isasymnot}{\isamath{\neg}}
 \newcommand{\isasymbottom}{\isamath{\bot}}
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/LaTeXsugar/Sugar/document/pdfsetup.sty
--- a/doc-src/LaTeXsugar/Sugar/document/pdfsetup.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/document/pdfsetup.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% smart url or hyperref setup
 %%
-%% 
 
 \@ifundefined{pdfoutput}
 {\usepackage{url}}
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/Locales/Locales/document/isabelle.sty
--- a/doc-src/Locales/Locales/document/isabelle.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/Locales/Locales/document/isabelle.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% macros for Isabelle generated LaTeX output
 %%
-%% 
 
 %%% Simple document preparation (based on theory token language and symbols)
 
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/Locales/Locales/document/isabellesym.sty
--- a/doc-src/Locales/Locales/document/isabellesym.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/Locales/Locales/document/isabellesym.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,21 +1,18 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% definitions of standard Isabelle symbols
 %%
-%% 
-
-% symbol definitions
 
 \newcommand{\isasymzero}{\isamath{\mathbf{0}}}  %requires amssymb
-\newcommand{\isasymone}{\isamath{\mathbf{1}}}   %requires amssymb
-\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}   %requires amssymb
-\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb
+\newcommand{\isasymone}{\isamath{\mathbf{1}}}  %requires amssymb
+\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}  %requires amssymb
+\newcommand{\isasymthree}{\isamath{\mathbf{3}}}  %requires amssymb
 \newcommand{\isasymfour}{\isamath{\mathbf{4}}}  %requires amssymb
 \newcommand{\isasymfive}{\isamath{\mathbf{5}}}  %requires amssymb
-\newcommand{\isasymsix}{\isamath{\mathbf{6}}}   %requires amssymb
-\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb
-\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb
+\newcommand{\isasymsix}{\isamath{\mathbf{6}}}  %requires amssymb
+\newcommand{\isasymseven}{\isamath{\mathbf{7}}}  %requires amssymb
+\newcommand{\isasymeight}{\isamath{\mathbf{8}}}  %requires amssymb
 \newcommand{\isasymnine}{\isamath{\mathbf{9}}}  %requires amssymb
 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
 \newcommand{\isasymB}{\isamath{\mathcal{B}}}
@@ -208,8 +205,8 @@
 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
-\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel 
-\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel 
+\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
+\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
 \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
 \newcommand{\isasymnot}{\isamath{\neg}}
 \newcommand{\isasymbottom}{\isamath{\bot}}
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/Locales/Locales/document/pdfsetup.sty
--- a/doc-src/Locales/Locales/document/pdfsetup.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/Locales/Locales/document/pdfsetup.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% smart url or hyperref setup
 %%
-%% 
 
 \@ifundefined{pdfoutput}
 {\usepackage{url}}
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/TutorialI/isabelle.sty
--- a/doc-src/TutorialI/isabelle.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/TutorialI/isabelle.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% macros for Isabelle generated LaTeX output
 %%
-%% 
 
 %%% Simple document preparation (based on theory token language and symbols)
 
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/TutorialI/isabellesym.sty
--- a/doc-src/TutorialI/isabellesym.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/TutorialI/isabellesym.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,21 +1,18 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% definitions of standard Isabelle symbols
 %%
-%% 
-
-% symbol definitions
 
 \newcommand{\isasymzero}{\isamath{\mathbf{0}}}  %requires amssymb
-\newcommand{\isasymone}{\isamath{\mathbf{1}}}   %requires amssymb
-\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}   %requires amssymb
-\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb
+\newcommand{\isasymone}{\isamath{\mathbf{1}}}  %requires amssymb
+\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}  %requires amssymb
+\newcommand{\isasymthree}{\isamath{\mathbf{3}}}  %requires amssymb
 \newcommand{\isasymfour}{\isamath{\mathbf{4}}}  %requires amssymb
 \newcommand{\isasymfive}{\isamath{\mathbf{5}}}  %requires amssymb
-\newcommand{\isasymsix}{\isamath{\mathbf{6}}}   %requires amssymb
-\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb
-\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb
+\newcommand{\isasymsix}{\isamath{\mathbf{6}}}  %requires amssymb
+\newcommand{\isasymseven}{\isamath{\mathbf{7}}}  %requires amssymb
+\newcommand{\isasymeight}{\isamath{\mathbf{8}}}  %requires amssymb
 \newcommand{\isasymnine}{\isamath{\mathbf{9}}}  %requires amssymb
 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
 \newcommand{\isasymB}{\isamath{\mathcal{B}}}
@@ -208,8 +205,8 @@
 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
-\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel 
-\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel 
+\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
+\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
 \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
 \newcommand{\isasymnot}{\isamath{\neg}}
 \newcommand{\isasymbottom}{\isamath{\bot}}
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/ZF/isabelle.sty
--- a/doc-src/ZF/isabelle.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/ZF/isabelle.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% macros for Isabelle generated LaTeX output
 %%
-%% 
 
 %%% Simple document preparation (based on theory token language and symbols)
 
diff -r cd0a4847d0b8 -r 1b7c2f7df2e6 doc-src/ZF/isabellesym.sty
--- a/doc-src/ZF/isabellesym.sty	Tue Sep 20 22:02:06 2005 +0200
+++ b/doc-src/ZF/isabellesym.sty	Tue Sep 20 22:07:36 2005 +0200
@@ -1,21 +1,18 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% 
 %%
 %% definitions of standard Isabelle symbols
 %%
-%% 
-
-% symbol definitions
 
 \newcommand{\isasymzero}{\isamath{\mathbf{0}}}  %requires amssymb
-\newcommand{\isasymone}{\isamath{\mathbf{1}}}   %requires amssymb
-\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}   %requires amssymb
-\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb
+\newcommand{\isasymone}{\isamath{\mathbf{1}}}  %requires amssymb
+\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}  %requires amssymb
+\newcommand{\isasymthree}{\isamath{\mathbf{3}}}  %requires amssymb
 \newcommand{\isasymfour}{\isamath{\mathbf{4}}}  %requires amssymb
 \newcommand{\isasymfive}{\isamath{\mathbf{5}}}  %requires amssymb
-\newcommand{\isasymsix}{\isamath{\mathbf{6}}}   %requires amssymb
-\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb
-\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb
+\newcommand{\isasymsix}{\isamath{\mathbf{6}}}  %requires amssymb
+\newcommand{\isasymseven}{\isamath{\mathbf{7}}}  %requires amssymb
+\newcommand{\isasymeight}{\isamath{\mathbf{8}}}  %requires amssymb
 \newcommand{\isasymnine}{\isamath{\mathbf{9}}}  %requires amssymb
 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
 \newcommand{\isasymB}{\isamath{\mathcal{B}}}
@@ -208,8 +205,8 @@
 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
-\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel 
-\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel 
+\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
+\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
 \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
 \newcommand{\isasymnot}{\isamath{\neg}}
 \newcommand{\isasymbottom}{\isamath{\bot}}