--- a/doc-src/IsarRef/style.sty Thu May 08 22:48:33 2008 +0200
+++ b/doc-src/IsarRef/style.sty Thu May 08 22:49:05 2008 +0200
@@ -14,22 +14,16 @@
\newcommand{\figref}[1]{figure~\ref{#1}}
\newcommand{\Figref}[1]{Figure~\ref{#1}}
-%% index
-%FIXME
+%% math
+\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
+\renewcommand{\isadigit}[1]{\isamath{#1}}
-%% math
-\newcommand{\text}[1]{\mbox{#1}}
-\newcommand{\isasymvartheta}{\isamath{\theta}}
-\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
\pagestyle{headings}
\sloppy
-\binperiod
-\underscoreon
-\renewcommand{\isadigit}[1]{\isamath{#1}}
\newcommand{\minorcmd}[1]{{\sf #1}}
@@ -43,12 +37,9 @@
\newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
\newcommand{\isasymDEFINITION}{\isakeyword{definition}}
+
\isabellestyle{it}
+\underscoreon
\renewcommand{\isacharunderscore}{\_}
\renewcommand{\isacharunderscorekeyword}{\_}
\newcommand{\isasymdash}{\mbox{-}}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "implementation"
-%%% End: