readme
Merge pull request #6 from JohannaMW/Isabelle_test

readme