coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Roland Zumkeller <Roland.Zumkeller AT polytechnique.fr>
- To: Remi Vanicat <remi.vanicat AT gmail.com>
- Cc: chris jhons <chrisformal AT yahoo.co.uk>, coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] even
- Date: Wed, 22 Sep 2004 01:13:44 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Le 21 sept. 04, à 21:22, Remi Vanicat a écrit :
doesn't the with construct made for this ?
Sorry for having forgotten this.
(The "negb" needs to be dropped, though.)
- [Coq-Club] even, chris jhons
- Re: [Coq-Club] even,
Roland Zumkeller
- Re: [Coq-Club] even,
Remi Vanicat
- Re: [Coq-Club] even, Roland Zumkeller
- Re: [Coq-Club] even,
Remi Vanicat
- Re: [Coq-Club] even,
Roland Zumkeller
Archive powered by MhonArc 2.6.16.