# HG changeset patch
# User wenzelm
# Date 970160806 -7200
# Node ID 7d6e03a1f11e80c8dd4a101548c2b257a8a74905
# Parent  dcb72400bc321235c947114bf7da94b562d2b3de
fixed ref;

diff -r dcb72400bc32 -r 7d6e03a1f11e doc-src/IsarRef/intro.tex
--- a/doc-src/IsarRef/intro.tex	Thu Sep 28 14:49:15 2000 +0200
+++ b/doc-src/IsarRef/intro.tex	Thu Sep 28 19:06:46 2000 +0200
@@ -18,8 +18,8 @@
 end
 \end{ttbox}
 Note that any Isabelle/Isar command may be retracted by \texttt{undo}.  See
-the Isabelle/Isar Quick Reference (Appendix~{ap:refcard}) for a comprehensive
-overview of available commands and other language elements.
+the Isabelle/Isar Quick Reference (Appendix~\ref{ap:refcard}) for a
+comprehensive overview of available commands and other language elements.
 
 
 \subsection{Proof~General}