Let me add my thanks too, it was a very productive and enjoyable trip! It's also really encouraging to see all the good Isabelle work presented at TPHOLs this year. I especially liked one presenter's comment saying there are only four theorem provers capable of doing real mathematics, and Isabelle is one of them...
Cheers, -john On Sep 15, 2007, at 7:45 AM, Peter Vincent Homeier wrote: > 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) > > _______________________________________________ > Isabelle-dev mailing list > Isabelle-dev at mailbroy.informatik.tu-muenchen.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/ > isabelle-dev
