mattam82/Coq-Equations — pull request #14 by greenrd (2011-11-13 18:08:47+00:00)
Title: Various fixes for compatibility with latest trunk

One of these patches (greenrd@c2486702) has a slightly outdated commit message, because my followdeps branch _of Coq_ seems to be obsoleted (for my uses at least) by Hugo Herbelin's implementation of a similar idea in Coq trunk. However, the patch itself is still needed for Coq-Equations, to prevent the same anomaly being reported in use.