Added exact lemma for parameteriezed global hybrids.#992

alleystoughton merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

new-global-hybrid-lemmaEasyCrypt/easycrypt:new-global-hybrid-lemmaCopy head branch name to clipboard