Email Gateway (Aug 19 2022 at 11:00): Email Gateway (Aug 19 2022 at 11:00):From: "Yannick Duchêne (Hibou57 )" <yannick_duchene@yahoo.fr>
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
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).
Email Gateway (Aug 19 2022 at 11:00):From: Alfio Martini <alfio.martini@acm.org>
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!
Email Gateway (Aug 19 2022 at 11:00):From: Lawrence Paulson <lp15@cam.ac.uk>
It is one of the finest books ever written in the history of mankind, but I suggest you get your copy here:
http://isabelle.in.tum.de/dist/Isabelle2013/doc/tutorial.pdf
It will then be both free and up-to-date. The printed version really needs to be seen as a historical document now.
Larry Paulson
Email Gateway (Aug 19 2022 at 11:01):From: Makarius <makarius@sketis.net>
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:
Makarius
Last updated: Nov 21 2024 at 12:39 UTC