1.1 --- a/doc-src/IsarRef/style.sty	Thu May 08 22:48:33 2008 +0200
     1.2 +++ b/doc-src/IsarRef/style.sty	Thu May 08 22:49:05 2008 +0200
     1.3 @@ -14,22 +14,16 @@
     1.4  \newcommand{\figref}[1]{figure~\ref{#1}}
     1.5  \newcommand{\Figref}[1]{Figure~\ref{#1}}
     1.6  
     1.7 -%% index
     1.8 -%FIXME
     1.9 +%% math
    1.10 +\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
    1.11 +\renewcommand{\isadigit}[1]{\isamath{#1}}
    1.12  
    1.13 -%% math
    1.14 -\newcommand{\text}[1]{\mbox{#1}}
    1.15 -\newcommand{\isasymvartheta}{\isamath{\theta}}
    1.16 -\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
    1.17  
    1.18  \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    1.19  
    1.20  \pagestyle{headings}
    1.21  \sloppy
    1.22 -\binperiod
    1.23 -\underscoreon
    1.24  
    1.25 -\renewcommand{\isadigit}[1]{\isamath{#1}}
    1.26  
    1.27  \newcommand{\minorcmd}[1]{{\sf #1}}
    1.28  
    1.29 @@ -43,12 +37,9 @@
    1.30  \newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
    1.31  \newcommand{\isasymDEFINITION}{\isakeyword{definition}}
    1.32  
    1.33 +
    1.34  \isabellestyle{it}
    1.35 +\underscoreon
    1.36  \renewcommand{\isacharunderscore}{\_}
    1.37  \renewcommand{\isacharunderscorekeyword}{\_}
    1.38  \newcommand{\isasymdash}{\mbox{-}}
    1.39 -
    1.40 -%%% Local Variables: 
    1.41 -%%% mode: latex
    1.42 -%%% TeX-master: "implementation"
    1.43 -%%% End: