| changeset 20470 | c839b38a1f32 |
| parent 20451 | 27ea2ba48fa3 |
| child 20472 | e993073eda4c |
--- a/doc-src/IsarImplementation/Thy/logic.thy Mon Sep 04 15:27:30 2006 +0200 +++ b/doc-src/IsarImplementation/Thy/logic.thy Mon Sep 04 16:28:27 2006 +0200 @@ -3,7 +3,7 @@ theory logic imports base begin -chapter {* Primitive logic *} +chapter {* Primitive logic \label{ch:logic} *} section {* Variable names *}