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