Re: [isabelle] Isabelle/HOL, the book



Hi Yannick,

This is an old version of the current Isabelle/HOL tutorial.

http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2013/doc/tutorial.pdf

Best!


On Thu, May 23, 2013 at 10:18 AM, Yannick Duchêne (Hibou57) <
yannick_duchene at yahoo.fr> wrote:

> Hi people,
>
> I just discovered there exist a book for Isabelle/HOL at Amazon:
> http://www.amazon.com/gp/**reader/3540433767/ref=sib_dp_**
> ptu/182-9131467-6281732<http://www.amazon.com/gp/reader/3540433767/ref=sib_dp_ptu/182-9131467-6281732>
>
> I searched for something similar about one year ago and found nothing at
> that time, so that's a good news. However, as it's a bit expansive (my
> average price range for books is in €15 to €25), I would like to know about
> its content before any attempt to get it. I clicked on the cover picture as
> it says “Click to look inside”, but nothing happened (no preview).
>
> So I would like to know if someone here already get that book and if it's
> worth the price.
>
> Thanks for any advices.
>
> P.S. As a question aside, if there are exclusive contents in this book, is
> there an electronic version planned? (may be an electronic version would be
> more affordable and I'm planning to get an ebook reader sooner of later
> this year).
>
>
> --
> “Syntactic sugar causes cancer of the semi-colons.” [1]
> “Structured Programming supports the law of the excluded muddle.” [1]
> [1]: Epigrams on Programming — Alan J. — P. Yale University
>
>
>


-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil



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