Merge pull request #7 from j3py/Isabelle_check_in

Isabelle check in
Merge branch 'master' of github.com:j3py/Attendy into Isabelle_check_in
test