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.

Tobias

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.