coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Patricia Peratto" <pperatto AT hotmail.com>
- To: <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] lists of lenght
- Date: Sun, 30 Mar 2003 09:57:12 -0300
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
|
Is there in the distribution of
standard libraries a definition
for lists of length n?
Thanks in advance
Patricia Peratto
|
- [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.