coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Equations command in trunk

From: Robin Green <greenrd AT greenrd.org>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Equations command in trunk
Date: Tue, 7 Oct 2008 12:42:42 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: Swansea University

Can anyone tell me what the apparently undocumented Equations command is
for, in the trunk version? It seems like it might be useful for my
development.
--
Robin

[Coq-Club] Equations command in trunk, Robin Green
- Re: [Coq-Club] Equations command in trunk, Matthieu Sozeau