Added proofs for hoare_while and bexp_eval_false.
Merge branch 'master' of github.com:tdidriksen/SASP-Project

Merged.
Cleanup after proofs in ILImp.v