[isabelle] IMP Theories of the Book 'Concrete Semantics'

Dear Tobias and Gerwin,

First of all, thank you both for the excellent book on Concrete Semantics.
It is very polished
and contains a  wealth of material that is nowhere to be found in a single
Besides,  its innovative, concrete approach with the Isabelle proof
will certainly increase the interest of many computing professionals and
students alike for the study of semantics of programming languages.

However, in the page


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?


Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Lattes:  http://lattes.cnpq.br/4016080665372277
Associate Professor at Faculty of Informatics (PUCRS)
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.