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)
Description: S/MIME Cryptographic Signature