fix more details of the CP -> GV translation proof
Merge branch 'esop2015' of github.com:jgbm/cpgv into esop2015

Conflicts:
	docs/esop2015/main.tex