diff -r 077c764c8d8b -r 41a802bbb7df ProgTutorial/Recipes/Antiquotes.thy
--- a/ProgTutorial/Recipes/Antiquotes.thy	Mon Jul 27 10:37:28 2009 +0200
+++ b/ProgTutorial/Recipes/Antiquotes.thy	Tue Jul 28 08:53:05 2009 +0200
@@ -3,7 +3,7 @@
 imports "../Base"
 begin
 
-section {* Useful Document Antiquotations *}
+section {* Useful Document Antiquotations\label{rec:docantiquotations} *}
 
 text {*
   {\bf Problem:}