Thread:73.40.112.46/@comment-22439-20150602235654

Hi, welcome to ! Thanks for your edit to the Isabelle page.

Please sign in and create a user name. It's an easy way to keep track of your contributions and helps you communicate with the rest of the community.

Please leave me a message if I can help with anything! 