1.1 --- a/doc-src/IsarRef/intro.tex	Sat Jul 01 19:58:59 2000 +0200
     1.2 +++ b/doc-src/IsarRef/intro.tex	Sat Jul 01 19:59:24 2000 +0200
     1.3 @@ -17,8 +17,9 @@
     1.4  lemma "0 < foo" by (simp add: foo_def);
     1.5  end
     1.6  \end{ttbox}
     1.7 -Note that any Isabelle/Isar command may be retracted by \texttt{undo}.  The
     1.8 -\texttt{help} command prints a list of available language elements.
     1.9 +Note that any Isabelle/Isar command may be retracted by \texttt{undo}.  See
    1.10 +the Isabelle/Isar Quick Reference (Appendix~{ap:refcard}) for a comprehensive
    1.11 +overview of available commands and other language elements.
    1.12  
    1.13  
    1.14  \subsection{Proof~General}