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