--- 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)
--- 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}}
--- 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)
--- 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}}
--- 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}}
--- 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)
--- 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}}
--- 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}}
--- 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)
--- 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}}
--- 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}}
--- 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)
--- 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}}
--- 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)
--- 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}}