readme
Merge pull request #4 from JohannaMW/Isabelle_test

Isabelle test
Merge branch 'master' of https://github.com/JohannaMW/attendance into Isabelle_test