coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Type equality

From: Pierre Courtieu <Pierre.Courtieu AT sophia.inria.fr>
To: jeanfrancois.monin AT rd.francetelecom.com
Cc: Pierre Letouzey <Pierre.Letouzey AT lri.fr>, Lukasz Stafiniak <l_stafiniak AT hoga.pl>, coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Type equality
Date: Thu, 31 Jul 2003 10:07:59 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

jeanfrancois.monin AT rd.francetelecom.com
wrote:
> Salut Pierre,
>
> On fait comment actuellement pour soumettre une contrib ? Pas vu le
> mode d'emploi sur http://pauillac.inria.fr/coq/contacts-eng.html

Sur cette page, en bas.

http://coq.inria.fr/contribs-eng.html

Cordialement

Pierre

[Coq-Club] Type equality, Lukasz Stafiniak
- Re: [Coq-Club] Type equality, Eduardo Gimenez
- Re: [Coq-Club] Type equality, Pierre Letouzey
  - Re: [Coq-Club] Type equality, jeanfrancois . monin
    - Re: [Coq-Club] Type equality, Pierre Courtieu
- Re: [Coq-Club] Type equality, jeanfrancois . monin
- Re: [Coq-Club] Type equality, Pierre Letouzey
  - Re: [Coq-Club] Type equality, Hugo Herbelin