"global" hybrid theory, plus two examples#947

alleystoughton wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

step-hybridEasyCrypt/easycrypt:step-hybridCopy head branch name to clipboard