doc/Contents

--- a/doc/Contents	Thu Mar 12 11:10:02 2009 +0100
+++ b/doc/Contents	Thu Mar 12 11:17:34 2009 +0100
@@ -6,7 +6,7 @@
   classes         Tutorial on Type Classes
   functions       Tutorial on Function Definitions
   codegen         Tutorial on Code Generation
-  sugar           LaTeX sugar for proof documents
+  sugar           LaTeX Sugar for Isabelle documents
 
 Reference Manuals
   isar-ref        The Isabelle/Isar Reference Manual