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

Dear Larry,

Also from me many congratulations on your birthday!  And my
thanks for creating Isabelle as well.

(When I started being interested in formalizing classical
mathematics, Randy Pollack told me that Isabelle was _the_
system I should have a look at.  He was absolutely right.)


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