# HG changeset patch
# User blanchet
# Date 1273872864 -7200
# Node ID 15d9f4373f78fc4ae3b5f474dfc1a8b313316beb
# Parent  6b8b4f51919077bf415a6c758c2d35e00bb31e7f
added Sledgehammer documentation to TOC

diff -r 6b8b4f519190 -r 15d9f4373f78 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