Tutorial: Global Hyphotesis Verification added
Merge pull request #963 from b4rc0ll0/master

Tutorial: Global Hyphotesis Verification added
Add copyright to all files