# HG changeset patch
# User wenzelm
# Date 1210367989 -7200
# Node ID a3afbb414b69474232ab23204ed2b28f98ca55e8
# Parent  1417e704d724b17e1d82c8bce738debe0654b20f
removed obsolete macros for Isar commands etc.;
tuned;

diff -r 1417e704d724 -r a3afbb414b69 doc-src/IsarRef/style.sty
--- a/doc-src/IsarRef/style.sty	Fri May 09 23:19:20 2008 +0200
+++ b/doc-src/IsarRef/style.sty	Fri May 09 23:19:49 2008 +0200
@@ -5,6 +5,8 @@
 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
 
+\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
+
 %% references
 \newcommand{\secref}[1]{\S\ref{#1}}
 \newcommand{\chref}[1]{chapter~\ref{#1}}
@@ -19,25 +21,10 @@
 \renewcommand{\isadigit}[1]{\isamath{#1}}
 
 
-\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
-
+%% global style options
 \pagestyle{headings}
 \sloppy
 
-
-\newcommand{\minorcmd}[1]{{\sf #1}}
-
-\newcommand{\isasymGUESS}{\isakeyword{guess}}
-\newcommand{\isasymOBTAIN}{\isakeyword{obtain}}
-\newcommand{\isasymTHEORY}{\isakeyword{theory}}
-\newcommand{\isasymUSES}{\isakeyword{uses}}
-\newcommand{\isasymEND}{\isakeyword{end}}
-\newcommand{\isasymCONSTS}{\isakeyword{consts}}
-\newcommand{\isasymDEFS}{\isakeyword{defs}}
-\newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
-\newcommand{\isasymDEFINITION}{\isakeyword{definition}}
-
-
 \isabellestyle{it}
 \underscoreon
 \renewcommand{\isacharunderscore}{\_}