[isabelle-dev] Thanks for the visit at TUM

[Peter Vincent Homeier]

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.

Peter

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)