[isabelle-dev] Thanks for the visit at TUM

Peter Vincent Homeier palantir at trustworthytools.com
Sat Sep 15 16:45:32 CEST 2007

Dear Alexander,

Thank you very much for adding me to the Isabelle developers mailing
list.  I certainly expect to be asking many questions as I learn the
insides of Isabelle.

I would like to express my deep gratitude to every member of the
Isabelle team who made my stay in Munich so edifying and productive,
You have a great team, intelligent and enthusiastic.  The several
talks that were presented were a good sampling of various aspects of
Isabelle and related work.  I was touched by the warmth and generosity
of your welcome, and I am eager to get to work.  It was a very special
time, and I hope it is the beginning of many effective collaborations
in the future.  I especially want to thank Tobias Nipkow for his
gracious invitation to come spend a week at the Technical University
of Munich.


On 9/14/07, Alexander Krauss <krauss at in.tum.de> wrote:
> Dear Peter,
> I just subscribed you to the "isabelle-dev" mailing list. This list is
> for questions and discussions concerning the parts of Isabelle that are
> normally not so relevant to users. All questions you might have are
> absolutely on-topic there, and very welcome. Send your mail to
> isabelle-dev at in.tum.de
> I wish you a safe trip home and all the best,
> Alex

"In Your majesty ride prosperously
because of truth, humility, and righteousness;
and Your right hand shall teach You awesome things." (Psalm 45:4)

More information about the isabelle-dev mailing list