doc-src/gfx/isabelle_sledgehammer.pdf
2010-05-14 blanchet 2010-05-14 added Sledgehammer manual; some material was recovered from the Isar material, the rest is new