
diff -r 72af85f6d70b -r 4f066dfc58d1 doc-src/IsarRef/style.sty
--- a/doc-src/IsarRef/style.sty	Tue Apr 29 13:39:32 2008 +0200
+++ b/doc-src/IsarRef/style.sty	Tue Apr 29 13:39:54 2008 +0200
@@ -8,7 +8,11 @@
 %% references
 \newcommand{\secref}[1]{\S\ref{#1}}
 \newcommand{\chref}[1]{chapter~\ref{#1}}
+\newcommand{\Chref}[1]{Chapter~\ref{#1}}
+\newcommand{\appref}[1]{appendix~\ref{#1}}
+\newcommand{\Appref}[1]{Appendix~\ref{#1}}
 \newcommand{\figref}[1]{figure~\ref{#1}}
+\newcommand{\Figref}[1]{Figure~\ref{#1}}
 
 %% index
 %FIXME




