[isabelle-dev] Thanks for the visit at TUM

John Matthews matthews at galois.com
Tue Sep 18 05:18:53 CEST 2007

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...


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

More information about the isabelle-dev mailing list