--- a/doc-src/IsarRef/Thy/intro.thy Thu May 08 14:52:07 2008 +0200
+++ b/doc-src/IsarRef/Thy/intro.thy Thu May 08 22:05:15 2008 +0200
@@ -287,10 +287,8 @@
\medskip The present text really is only a reference manual on
Isabelle/Isar, not a tutorial. Nevertheless, we will attempt to
give some clues of how the concepts introduced here may be put into
- practice. \Appref{ap:refcard} provides a quick reference card of
- the most common Isabelle/Isar language elements. \Appref{ap:conv}
- offers some practical hints on converting existing Isabelle theories
- and proof scripts to the new format (without restructuring proofs).
+ practice. Especially note that \appref{ap:refcard} provides a quick
+ reference card of the most common Isabelle/Isar language elements.
Further issues concerning the Isar concepts are covered in the
literature