# HG changeset patch
# User wenzelm
# Date 1210279745 -7200
# Node ID b9ab6246765efbcbdedc438d1849d76e36cfe351
# Parent  b54a1a7856646856d924679ec54d3faf1cc98e27
removed obsolete macros;
tuned;

diff -r b54a1a785664 -r b9ab6246765e doc-src/IsarRef/style.sty
--- 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: