coq/coq — pull request #6 by JasonGross (2013-12-12 17:21:16+00:00)
Title: Generalize EqdepFacts

The generalized versions are names *_one_var. We preserve backwards
compatibility by defining the old versions in terms of the generalized
ones.

This closes the rest of Bug 3019, and closes pull request #6.