1.1 --- a/doc-src/IsarImplementation/style.sty	Mon Sep 04 15:27:30 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Mon Sep 04 16:28:27 2006 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  %% references
     1.6  \newcommand{\secref}[1]{\S\ref{#1}}
     1.7 +\newcommand{\chref}[1]{chapter~\ref{#1}}
     1.8  \newcommand{\figref}[1]{figure~\ref{#1}}
     1.9  
    1.10  %% glossary