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



To the author of "ML for the working programmer"!

  Happy birthday.




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