[isabelle] Isabelle Workshop Program

The (impressive!) program for the Isabelle workshop at Nancy is online now:

Please consider attending ITP and the workshop even if you do not present a paper!

See you there

Tobias Nipkow
Larry Paulson
Makarius Wenzel

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

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