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



Not to mention Cambridge LCF, conversions and their combinators, rewriting
via discrimination nets, the subgoal package, ...

Mark.

on 21/9/15 11:15 AM, 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)
>>
>
>
>
>




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.