# HG changeset patch # User wenzelm # Date 1234720440 -3600 # Node ID 37785fa3826d90623df078012d11e1a84d0d2608 # Parent 86c57ef80ba3176b8a2a30cedfd17fd08ca75ee8 added label; diff -r 86c57ef80ba3 -r 37785fa3826d doc-src/IsarRef/Thy/Proof.thy --- 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