# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1235514187 0
# Node ID a9685909944d428382b5b1a7763f7fd5ae605e09
# Parent  58277de8493cae7dced3f3aff1d006a39bb7192a
new pfd file

diff -r 58277de8493c -r a9685909944d CookBook/Intro.thy
--- a/CookBook/Intro.thy	Tue Feb 24 13:57:14 2009 +0000
+++ b/CookBook/Intro.thy	Tue Feb 24 22:23:07 2009 +0000
@@ -126,6 +126,7 @@
 
   \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, 
   \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}.
+  He also wrote section \ref{sec:conversion}.
 
   \item {\bf Jeremy Dawson} wrote the first version of the chapter
   about parsing.
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
diff -r 58277de8493c -r a9685909944d cookbook.pdf
Binary file cookbook.pdf has changed