
diff -r 58277de8493c -r a9685909944d CookBook/Tactical.thy
--- 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




