doc/Contents

   datatypes       Tutorial on (Co)datatype Definitions
   functions       Tutorial on Function Definitions
   codegen         Tutorial on Code Generation
   nitpick         User's Guide to Nitpick
   sledgehammer    User's Guide to Sledgehammer
+  eisbach         The Eisbach User Manual
   sugar           LaTeX Sugar for Isabelle documents
 
 Reference Manuals!
   main            What's in Main
   isar-ref        The Isabelle/Isar Reference Manual