I hope you do join the Isabelle users's mailing list, as I suggested in my previous message. However, I do not recommend that you join the list for developers. Larry Paulson
On 22 Jul 2009, at 10:29, patrick dabou wrote: > hi! > my name is Nounamo Dabou Patrick, i'm student in the university of > Ngaound?r?-Cameroon, and i'm doing master 2 in compter science. I've > choose my topic of reaserch in Isabelle generic prover as an tool to > prove and correct software.i'm a new isabelle user and i want to > register my self in international Isabelle Users, participate and > discuss problems and results. > please i'm waiting for the response of my mail, because i want to > use Isabelle to demontrate the correctness of software. > thank you for all. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090724/21d1671b/attachment.htm>
