The Coq mailing list

[Randy Pollack <rpollack0 AT gmail.com>]

My first attempt to use Equations.  The Tutorial
(mattam.org/research/coq/equations-intro.html) says : "... requiring
no prior knowledge of the tool. We start our Coq primer session by
importing the Equations module.

  Require Import Equations.

Coq (8.3pl2) says "Error: Cannot find library Equations in loadpath".

Any help is appreciated.

Randy