
diff -r 97d22abd7dd7 -r 5aa3140ad52e CookBook/Tactical.thy
--- a/CookBook/Tactical.thy	Wed Feb 25 10:13:05 2009 +0100
+++ b/CookBook/Tactical.thy	Wed Feb 25 10:14:42 2009 +0100
@@ -1314,7 +1314,7 @@
   one can say about them?)
 *}
 
-section {* Conversions *}
+section {* Conversions\label{sec:conversion} *}
 
 text {*
 Conversions are meta-equalities depending on some input term. There type is




