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



Sledgehammer beats (hammers) all your subgoals ;-). Thanks &
congratulations,
Josef
On Sep 21, 2015 1:43 PM, Mark Adams <mark at proof-technologies.com> wrote:

> 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.