
diff -r c6b17889237a -r d5db6dfcb34a doc-src/IsarRef/Thy/Proof.thy
--- a/doc-src/IsarRef/Thy/Proof.thy	Tue Nov 18 18:22:49 2008 +0100
+++ b/doc-src/IsarRef/Thy/Proof.thy	Tue Nov 18 18:25:10 2008 +0100
@@ -105,7 +105,7 @@
 
   A typical application of @{command "oops"} is to explain Isar proofs
   \emph{within} the system itself, in conjunction with the document
-  preparation tools of Isabelle described in \cite{isabelle-sys}.
+  preparation tools of Isabelle described in \chref{ch:document-prep}.
   Thus partial or even wrong proof attempts can be discussed in a
   logically sound manner.  Note that the Isabelle {\LaTeX} macros can
   be easily adapted to print something like ``@{text "\<dots>"}'' instead of




