Re: [isabelle] Lawrence Paulson's 60th Birthday today

Dear Larry,

I missed this one but luckily Peter Koepke did not. Indeed, thank you for creating Isabelle, it changed my career.


On 21/09/2015 09:34, Peter Koepke wrote:
Dear all,

It is Larry Paulson's 60th birthday today. Let us thank him for his
broundbreaking ideas and work and wish him many more fruitful and happy years.

To the creator of Isabelle!

Peter Koepke

(University of Bonn)

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

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