[isabelle] Lawrence Paulson's 60th Birthday today

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.