coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Andrei Popescu <uuomul AT yahoo.com>
To: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] proofs involving variables appeared from matching
Date: Tue, 29 Apr 2008 00:30:36 -0700 (PDT)
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Message-ID; b=D/wl72xeWhD9yMzZdyRbtKyJW2DqP70GejzefNYXEGu9brDHzAuEapcDDKNwHRYhkYnqVMezsODCs3zzn0J8307riRjmz/njLS0oYh2ix/Qoig3l7NMsvjw+1FxGMVHpdUuFU9Cfe559YTL3lNAcX3NoQUIuYOn/uMxBfloVjPg=;
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Many thanks to the people that answered me!  

Andrei

Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now.

[Coq-Club] proofs involving variables appeared from matching, Andrei Popescu
- Re: [Coq-Club] proofs involving variables appeared from matching, Pierre Casteran
- Re: [Coq-Club] proofs involving variables appeared from matching, Edsko de Vries
  - Re: [Coq-Club] proofs involving variables appeared from matching, Matthieu Sozeau
  - Re: [Coq-Club] proofs involving variables appeared from matching, Andrei Popescu