[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
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!

-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
www.inf.pucrs.br/alfio
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.