footnote was causing mdframed error
Annotated paramters in stayvalid lemma
Updated makefile with new files
Added figure of unproven lemma
Removing unsued definitions file from makefile since it won't compile without Requires
Page 1 - 4 edits
Merge branch 'master' of github.com:cimbriano/mtocoq