update proof of exp_to_exh_correct
finish updating exhLangProofScript.sml