CI
Merge pull request #3 from JohannaMW/master

CI
Merge pull request #4 from JohannaMW/Isabelle_test

Isabelle test