[isabelle] Now out in print: "Concrete Semantics with Isabele/HOL"

Still looking for a present? The book "Concrete Semantics with Isabele/HOL" is now out in print:


At the same time our electronic version will remain online here:

Tobias Nipkow & Gerwin Klein

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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