1.1 --- a/doc-src/IsarRef/style.sty	Wed Mar 04 10:43:39 2009 +0100
     1.2 +++ b/doc-src/IsarRef/style.sty	Wed Mar 04 10:45:52 2009 +0100
     1.3 @@ -1,6 +1,3 @@
     1.4 -
     1.5 -%% $Id$
     1.6 -
     1.7  %% toc
     1.8  \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
     1.9  \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
    1.10 @@ -18,12 +15,17 @@
    1.11  
    1.12  %% ML
    1.13  \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}
    1.14 -\newcommand{\indexml}[1]{\index{#1 (ML value)|bold}}
    1.15 +
    1.16 +%% Isar
    1.17 +\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
    1.18 +\isafoldtag{noproof}\def\isafoldnoproof{~\isafold{proof}}
    1.19  
    1.20  %% math
    1.21 +\newcommand{\isasymstrut}{\isamath{\mathstrut}}
    1.22 +\newcommand{\isasymvartheta}{\isamath{\,\theta}}
    1.23  \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
    1.24  \renewcommand{\isadigit}[1]{\isamath{#1}}
    1.25 -
    1.26 +\newcommand{\text}[1]{\mbox{#1}}
    1.27  
    1.28  %% global style options
    1.29  \pagestyle{headings}