# HG changeset patch
# User wenzelm
# Date 1127245140 -7200
# Node ID 0bc8ae586a7c42d2e031f8dc0f3d89c648d0a5e3
# Parent  25370ec2d44a467649a4dd6f143b95a2565280b6
tuned headers;

diff -r 25370ec2d44a -r 0bc8ae586a7c lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Tue Sep 20 21:34:20 2005 +0200
+++ b/lib/texinputs/isabelle.sty	Tue Sep 20 21:39:00 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% $Id$
 %%
 %% macros for Isabelle generated LaTeX output
 %%
-%% $Id$
 
 %%% Simple document preparation (based on theory token language and symbols)
 
diff -r 25370ec2d44a -r 0bc8ae586a7c lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Tue Sep 20 21:34:20 2005 +0200
+++ b/lib/texinputs/isabellesym.sty	Tue Sep 20 21:39:00 2005 +0200
@@ -1,21 +1,18 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% $Id$
 %%
 %% definitions of standard Isabelle symbols
 %%
-%% $Id$
-
-% 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 25370ec2d44a -r 0bc8ae586a7c lib/texinputs/pdfsetup.sty
--- a/lib/texinputs/pdfsetup.sty	Tue Sep 20 21:34:20 2005 +0200
+++ b/lib/texinputs/pdfsetup.sty	Tue Sep 20 21:39:00 2005 +0200
@@ -1,9 +1,8 @@
 %%
-%% Author: Markus Wenzel, TU Muenchen
+%% $Id$
 %%
 %% smart url or hyperref setup
 %%
-%% $Id$
 
 \@ifundefined{pdfoutput}
 {\usepackage{url}}