author blanchet
Fri, 14 May 2010 22:43:00 +0200
changeset 36926 90bb12cf8e36
parent 33191 fe3c65d9c577
child 47320 928cb8b35e6e
permissions -rw-r--r--
added Sledgehammer manual; some material was recovered from the Isar material, the rest is new

Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Nitpick Main Sledgehammer