Removing unneeded file
Added formatting and Case annotations in lemma one
Adding separate file for TracePattern lemmas
Adding lemma_five statment
Merge branch 'master' of github.com:cimbriano/mtocoq