doc/Contents

--- a/doc/Contents	Fri May 14 23:32:48 2010 +0200
+++ b/doc/Contents	Fri May 14 23:34:24 2010 +0200
@@ -6,7 +6,8 @@
   classes         Tutorial on Type Classes
   functions       Tutorial on Function Definitions
   codegen         Tutorial on Code Generation
-  nitpick         User's Guide to Nitpick in Isabelle/HOL
+  nitpick         User's Guide to Nitpick
+  sledgehammer    User's Guide to Sledgehammer
   sugar           LaTeX Sugar for Isabelle documents
 
 Reference Manuals