--- 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}{\_}