--- a/CookBook/Tactical.thy Tue Feb 24 13:57:14 2009 +0000
+++ b/CookBook/Tactical.thy Tue Feb 24 22:23:07 2009 +0000
@@ -1314,7 +1314,7 @@
one can say about them?)
*}
-section {* Conversions *}
+section {* Conversions\label{sec:conversion} *}
text {*
conversions: core of the simplifier