Commented out proofs in sections 3 and 4.
Merge branch 'master' of github.com:martinberger/control