tuned headers;
authorwenzelm
Tue Sep 20 21:39:00 2005 +0200 (2005-09-20)
changeset 175310bc8ae586a7c
parent 17530 25370ec2d44a
child 17532 ab75f2b0cec6
tuned headers;
lib/texinputs/isabelle.sty
lib/texinputs/isabellesym.sty
lib/texinputs/pdfsetup.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Tue Sep 20 21:34:20 2005 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Tue Sep 20 21:39:00 2005 +0200
     1.3 @@ -1,9 +1,8 @@
     1.4  %%
     1.5 -%% Author: Markus Wenzel, TU Muenchen
     1.6 +%% $Id$
     1.7  %%
     1.8  %% macros for Isabelle generated LaTeX output
     1.9  %%
    1.10 -%% $Id$
    1.11  
    1.12  %%% Simple document preparation (based on theory token language and symbols)
    1.13  
     2.1 --- a/lib/texinputs/isabellesym.sty	Tue Sep 20 21:34:20 2005 +0200
     2.2 +++ b/lib/texinputs/isabellesym.sty	Tue Sep 20 21:39:00 2005 +0200
     2.3 @@ -1,21 +1,18 @@
     2.4  %%
     2.5 -%% Author: Markus Wenzel, TU Muenchen
     2.6 +%% $Id$
     2.7  %%
     2.8  %% definitions of standard Isabelle symbols
     2.9  %%
    2.10 -%% $Id$
    2.11 -
    2.12 -% symbol definitions
    2.13  
    2.14  \newcommand{\isasymzero}{\isamath{\mathbf{0}}}  %requires amssymb
    2.15 -\newcommand{\isasymone}{\isamath{\mathbf{1}}}   %requires amssymb
    2.16 -\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}   %requires amssymb
    2.17 -\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb
    2.18 +\newcommand{\isasymone}{\isamath{\mathbf{1}}}  %requires amssymb
    2.19 +\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}  %requires amssymb
    2.20 +\newcommand{\isasymthree}{\isamath{\mathbf{3}}}  %requires amssymb
    2.21  \newcommand{\isasymfour}{\isamath{\mathbf{4}}}  %requires amssymb
    2.22  \newcommand{\isasymfive}{\isamath{\mathbf{5}}}  %requires amssymb
    2.23 -\newcommand{\isasymsix}{\isamath{\mathbf{6}}}   %requires amssymb
    2.24 -\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb
    2.25 -\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb
    2.26 +\newcommand{\isasymsix}{\isamath{\mathbf{6}}}  %requires amssymb
    2.27 +\newcommand{\isasymseven}{\isamath{\mathbf{7}}}  %requires amssymb
    2.28 +\newcommand{\isasymeight}{\isamath{\mathbf{8}}}  %requires amssymb
    2.29  \newcommand{\isasymnine}{\isamath{\mathbf{9}}}  %requires amssymb
    2.30  \newcommand{\isasymA}{\isamath{\mathcal{A}}}
    2.31  \newcommand{\isasymB}{\isamath{\mathcal{B}}}
    2.32 @@ -208,8 +205,8 @@
    2.33  \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
    2.34  \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
    2.35  \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
    2.36 -\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel 
    2.37 -\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel 
    2.38 +\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
    2.39 +\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
    2.40  \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
    2.41  \newcommand{\isasymnot}{\isamath{\neg}}
    2.42  \newcommand{\isasymbottom}{\isamath{\bot}}
     3.1 --- a/lib/texinputs/pdfsetup.sty	Tue Sep 20 21:34:20 2005 +0200
     3.2 +++ b/lib/texinputs/pdfsetup.sty	Tue Sep 20 21:39:00 2005 +0200
     3.3 @@ -1,9 +1,8 @@
     3.4  %%
     3.5 -%% Author: Markus Wenzel, TU Muenchen
     3.6 +%% $Id$
     3.7  %%
     3.8  %% smart url or hyperref setup
     3.9  %%
    3.10 -%% $Id$
    3.11  
    3.12  \@ifundefined{pdfoutput}
    3.13  {\usepackage{url}}