Added a proof obligation generator to simplify the creation of many similar sequents
Merge branch 'master' of https://github.com/cipher1024/literate-unitb