doc-src/gfx/isabelle_sledgehammer.pdf
author blanchet
Fri May 14 22:43:00 2010 +0200 (2010-05-14)
changeset 36926 90bb12cf8e36
permissions -rw-r--r--
added Sledgehammer manual;
some material was recovered from the Isar material, the rest is new
blanchet@36926
     1
(binary:application/pdf)