readme
Merge branch 'master' of https://github.com/JohannaMW/attendance into Isabelle_test
Merge pull request #5 from JohannaMW/Isabelle_test

Isabelle test