Added proof of XorCorrespondence
Resolved conflict

Merge branch 'master' of https://github.com/hypotext/vst-crypto

Conflicts:
	HMAC_spec_harvard_concat.v