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



Dear Larry,

I wanted yo start this letter with a list of your contributions
not yet  mentioned -  but I gave up due to fear of lengthiness.

Happy Birthday, Larry !

bu

> On 22 sept. 2015, at 00:30, Gerwin Klein <gerwin.klein at nicta.com.au> wrote:
> 
> And not only Tobias’ career!
> 
> Happy birthday, Larry!
> 
> Gerwin
> 
>> 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.
>> 
>> 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)
>>> 
>> 
> 
> 
> ________________________________
> 
> 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 MHonArc.