coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] explication

From: ayed mohamed mustapha <mustaphaayed AT imel.org>
To: coq-club AT pauillac.inria.fr
Cc: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] explication
Date: Mon, 6 Jan 2003 07:31:35 -0800 (PST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

bonjour,
vous pouvez m'expliquer comment fonctionne la tactique : Elim dans le
prouveur coq

merci

mon adresse Email :
mustaphaayed AT imel.org

_____________________________________________________________
Enregistrez-vous pour un email gratuit sur http://www.imel.org

_____________________________________________________________
Select your own custom email address for FREE! Get
you AT yourchoice.com
w/No Ads, 6MB, POP & more! http://www.everyone.net/selectmail?campaign=tag

[Coq-Club] explication, ayed mohamed mustapha