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



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.