added Sledgehammer documentation to TOC
authorblanchet
Fri May 14 23:34:24 2010 +0200 (2010-05-14)
changeset 3693015d9f4373f78
parent 36929 6b8b4f519190
child 36931 4ef12072b94a
added Sledgehammer documentation to TOC
doc/Contents
     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