coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Patricia Peratto" <psperatto AT adinet.com.uy>
- To: "coqclub" < coq-club AT inria.fr>
- Subject: [Coq-Club] import
- Date: Sat, 9 Jun 2012 18:16:40 -0300
|
I can not import the file
Structures.Orders.
Do someone of you know why?
Regards
Patricia Peratto
|
- [Coq-Club] import, Patricia Peratto, 06/09/2012
- Re: [Coq-Club] import, AUGER Cédric, 06/10/2012
- Re: [Coq-Club] import, Patricia Peratto, 06/10/2012
- Re: [Coq-Club] import, David Pereira, 06/10/2012
- Re: [Coq-Club] import, Marko Maliković, 06/10/2012
- Re: [Coq-Club] import, Patricia Peratto, 06/10/2012
- <Possible follow-up(s)>
- [Coq-Club] import, Patricia Peratto, 06/10/2012
- Re: [Coq-Club] import, AUGER Cédric, 06/10/2012
Archive powered by MHonArc 2.6.18.