
diff -r c839b38a1f32 -r ffafbd4103c0 doc-src/IsarImplementation/Thy/document/logic.tex
--- a/doc-src/IsarImplementation/Thy/document/logic.tex	Mon Sep 04 16:28:27 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/logic.tex	Mon Sep 04 16:28:36 2006 +0200
@@ -19,7 +19,7 @@
 %
 \endisadelimtheory
 %
-\isamarkupchapter{Primitive logic%
+\isamarkupchapter{Primitive logic \label{ch:logic}%
 }
 \isamarkuptrue%
 %




