1.1 --- a/doc-src/IsarRef/style.sty Wed Feb 11 21:38:28 2009 +0100
1.2 +++ b/doc-src/IsarRef/style.sty Wed Feb 11 21:39:12 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 @@ -20,10 +17,15 @@
1.11 \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}
1.12 \newcommand{\indexml}[1]{\index{#1 (ML value)|bold}}
1.13
1.14 +%% Isar
1.15 +\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
1.16 +
1.17 %% math
1.18 +\newcommand{\isasymstrut}{\isamath{\mathstrut}}
1.19 +\newcommand{\isasymvartheta}{\isamath{\,\theta}}
1.20 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
1.21 \renewcommand{\isadigit}[1]{\isamath{#1}}
1.22 -
1.23 +\newcommand{\text}[1]{\mbox{#1}}
1.24
1.25 %% global style options
1.26 \pagestyle{headings}