shorten the reviews
merge
edit to reverse KH's writing
Merge branch 'master' of https://github.com/martinberger/imperative

Conflicts:
	abstract.tex
	introduction.tex
	logic.tex
	rules.tex
	soundness.tex