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)
