coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre Courtieu <pierre.courtieu AT gmail.com>
- To: Giovanni Birolo <giovanni.birolo AT gmail.com>
- Cc: coq-club AT inria.fr
- Subject: Re: [Coq-Club] define a translation
- Date: Thu, 28 Feb 2013 18:39:05 +0100
Sorry the following words were garbage.
> "and" is the formula constructor for conjonction.
- [Coq-Club] define a translation, Giovanni Birolo, 02/28/2013
- Re: [Coq-Club] define a translation, Pierre Courtieu, 02/28/2013
- Re: [Coq-Club] define a translation, Pierre Courtieu, 02/28/2013
- Re: [Coq-Club] define a translation, Daniel Schepler, 02/28/2013
- Re: [Coq-Club] define a translation, AUGER Cédric, 02/28/2013
- Re: [Coq-Club] define a translation, Pierre Courtieu, 02/28/2013
Archive powered by MHonArc 2.6.18.