Re: [isabelle] Isabelle/HOL, the book

On Thu, 23 May 2013, Lawrence Paulson wrote:

It will then be both free and up-to-date. The printed version really needs to be seen as a historical document now.

Note that it is only up-to-date in a formal sense: it works with that Isabelle release. Here are the NEWS about it from Isabelle2012:

* New tutorial "Programming and Proving in Isabelle/HOL"
("prog-prove").  It completely supersedes "A Tutorial Introduction to
Structured Isar Proofs" ("isar-overview"), which has been removed.  It
also supersedes "Isabelle/HOL, A Proof Assistant for Higher-Order
Logic" as the recommended beginners tutorial, but does not cover all
of the material of that old tutorial.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.