
diff -r b6fca043a796 -r e8f11280c762 CookBook/Solutions.thy
--- a/CookBook/Solutions.thy	Mon Mar 02 10:06:06 2009 +0000
+++ b/CookBook/Solutions.thy	Tue Mar 03 13:00:55 2009 +0000
@@ -3,7 +3,7 @@
 uses "infix_conv.ML"
 begin
 
-chapter {* Solutions to Most Exercises *}
+chapter {* Solutions to Most Exercises\label{ch:solutions} *}
 
 text {* \solution{fun:revsum} *}
 




