--- a/doc-src/IsarRef/Thy/Proof.thy Sun Feb 15 18:53:41 2009 +0100
+++ b/doc-src/IsarRef/Thy/Proof.thy Sun Feb 15 18:54:00 2009 +0100
@@ -2,7 +2,7 @@
imports Main
begin
-chapter {* Proofs *}
+chapter {* Proofs \label{ch:proofs} *}
text {*
Proof commands perform transitions of Isar/VM machine