work on test HR
Merge branch 'master' of https://github.com/ibrahimshiyam/CaseStudies

Conflicts:
	Isabelle-UTP-CML/CML-CaseStudies/testHR.cml