coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Cuihtlauac ALVARADO <cuihtlauac.alvarado AT francetelecom.com>
- To: Patricia Peratto <pperatto AT hotmail.com>
- Cc: coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] lists of lenght
- Date: Mon, 31 Mar 2003 08:49:51 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
- Organization: France Telecom R&D - DTL/TAL
Hi,
My version of those lists (Vect.v) are at this url :
http://perso.wanadoo.fr/cuihtlauac.alvarado/eq-0.2.tgz
On Sun, Mar 30, 2003 at 09:57:12AM -0300, Patricia Peratto wrote:
> Is there in the distribution of standard libraries a definition
> for lists of length n?
>
> Thanks in advance
>
> Patricia Peratto
--
Cuihtlauac ALVARADO - France Telecom R&D - DTL/TAL
2, avenue Pierre Marzin - 22307 Lannion - France
Tel: +33 2 96 05 32 73 - Fax: +33 2 96 05 39 45
- [Coq-Club] lists of lenght, Patricia Peratto
- Re: [Coq-Club] lists of lenght, Cuihtlauac ALVARADO
- Re: [Coq-Club] lists of lenght, Solange Coupet-Grimal
Archive powered by MhonArc 2.6.16.