--- 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}