update intLangProofScript.sml