coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Anders Lundstedt <anders AT anderslundstedt.se>
- To: Cedric Auger <sedrikov AT gmail.com>
- Cc: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Notation for partial terms
- Date: Mon, 13 Jan 2014 11:04:58 +0100
Many thanks for the suggestions. Arnaud Spiwack's solution worked perfectly.
- [Coq-Club] Notation for partial terms, Anders Lundstedt, 01/13/2014
- Re: [Coq-Club] Notation for partial terms, Arnaud Spiwack, 01/13/2014
- Re: [Coq-Club] Notation for partial terms, Cedric Auger, 01/13/2014
- Re: [Coq-Club] Notation for partial terms, Anders Lundstedt, 01/13/2014
Archive powered by MHonArc 2.6.18.