coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Warning

From: Eduardo Gimenez <Eduardo.Gimenez AT trusted-logic.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Warning
Date: Wed, 17 Apr 2002 17:59:04 +0200
Organization: Trusted Logic

Hi,

What is the meaning of this warning and which command raises it up??

"Warning: Defined reference data is here considered as a matching variable"

Eduardo Gimenez.
-------------------
To unsubscribe, mail
coq-club-request AT pauillac.inria.fr
Bug reports: http://coq.inria.fr/bin/coq-bugs
Coq-Club Archives: http://coq.inria.fr/mailing-lists/coqclub/

[Coq-Club] Warning, Eduardo Gimenez
- Re: [Coq-Club] Warning, Hugo Herbelin
- Re: [Coq-Club] Warning, Nadeem Abdul Hamid