coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Benjamin Werner <Benjamin.werner AT inria.fr>
- To: Yves Bertot <Yves.Bertot AT sophia.inria.fr>
- Cc: coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club]On the form of the axiom of description
- Date: Tue, 14 Feb 2006 05:25:09 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Of course I forgot the files
Attachment:
bertot.v
Description: Binary data
Attachment:
bertot2.v
Description: Binary data
- [Coq-Club]On the form of the axiom of description, Yves Bertot
- Re: [Coq-Club]On the form of the axiom of description, Pierre Letouzey
- Re: [Coq-Club]On the form of the axiom of description, Gérard Huet
- Re: [Coq-Club]On the form of the axiom of description,
Benjamin Werner
- Re: [Coq-Club]On the form of the axiom of description, Hugo Herbelin
- Re: [Coq-Club]On the form of the axiom of description, Benjamin Werner
Archive powered by MhonArc 2.6.16.