Re: [isabelle] Lawrence Paulson's 60th Birthday today
And not only Tobias’ career!
Happy birthday, Larry!
> On 21.09.2015, at 20:14, Tobias Nipkow <nipkow at in.tum.de> wrote:
> 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)
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
This archive was generated by a fusion of
Pipermail (Mailman edition) and