Merged it all!!!
Merge branch 'master' of https://github.com/terkill/AMP

Conflicts:
	src/Hoare.v