CookBook/Tactical.thy
changeset 137 a9685909944d
parent 135 8c31b729a5df
child 141 5aa3140ad52e
--- 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