benediktahrens/rezk_completion — pull request #6 by DanGrayson (2014-01-13 21:19:20+00:00)
Title: compatibility with coq 8.4

The most recent commit, to functors_transformations.v, is simple but needed to preserve compatibility
with coq 8.4.