
diff -r 02f76f1b6e7b -r dee4b3e66dfe CookBook/document/root.tex
--- a/CookBook/document/root.tex	Wed Oct 29 13:58:36 2008 +0100
+++ b/CookBook/document/root.tex	Wed Oct 29 21:46:33 2008 +0100
@@ -16,6 +16,10 @@
 \newcommand{\impref}[1]{\ref{I-#1}}
 \newcommand{\ichcite}[1]{[Impl.\,Man., Ch.~\impref{#1}]}
 \newcommand{\isccite}[1]{[Impl.\,Man., Sec.~\impref{#1}]}
+\externaldocument[R-]{isar-ref}
+\newcommand{\isarref}[1]{\ref{R-#1}}
+\newcommand{\rchcite}[1]{[Isar Ref.\,Man., Ch.~\isarref{#1}]}
+\newcommand{\rsccite}[1]{[Isar Ref.\,Man., Sec.~\isarref{#1}]}
 
 \usepackage{pdfsetup}
 




