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