coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Solange Coupet-Grimal <Solange.Coupet AT cmi.univ-mrs.fr>
- 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 10:35:06 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Patricia Peratto wrote:
Is there in the distribution of standard libraries a definitionfor lists of length n? Thanks in advance Patricia Peratto -- You can find a library on dependent lists at this address: http://coq.inria.fr/contribs/hardware.html As far as know, there is no such a standard library. Best regards, Solange COUPET-GRIMAL _____________________________________________________________ CMI-39, rue Frederic Joliot-Curie - 13453 Marseille Cedex 13 Tel : (33) 04 91 11 36 17 _____________________________________________________________ |
- [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.