separate def and  example in example.thy to be more readable
Update Readme.md
update readme