Re: [isabelle] IMP Theories of the Book 'Concrete Semantics'
Dear Mr. Nipkow,
from the hg id I guess that this is under development. Will there be a
release for the book?
On 13 October 2013 15:53, Tobias Nipkow <nipkow at in.tum.de> wrote:
> Dear Alfio,
> The IMP theories are indeed the ones in the distribution, but you need
> Isabelle2013-1 for that, not Isabelle2013.
> Thank you for your kind words.
> Am 13/10/2013 15:40, schrieb Alfio Martini:
> > Dear Tobias and Gerwin,
> > First of all, thank you both for the excellent book on Concrete
> > It is very polished
> > and contains a wealth of material that is nowhere to be found in a
> > book.
> > Besides, its innovative, concrete approach with the Isabelle proof
> > assistant
> > will certainly increase the interest of many computing professionals and
> > students alike for the study of semantics of programming languages.
> > However, in the page
> > http://www21.in.tum.de/~nipkow/semantics/,
> > the IMP theories (either as .thy files or as a PDF document) are not
> > available (broken link). Can I assume that they are the ones that
> > are distributed with Isabelle?
> > Best!
This archive was generated by a fusion of
Pipermail (Mailman edition) and