coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Dmitry Grebeniuk <gdsfh1 AT gmail.com>
- To: AUGER Cédric <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] "named" goals with refine
- Date: Wed, 16 Jan 2013 13:42:41 +0200
Hello.
Thank you, it's good idea too, now I have a choice
between holes-as-inductive-type and holes-as-strings.
- [Coq-Club] "named" goals with refine, Dmitry Grebeniuk, 01/16/2013
- Re: [Coq-Club] "named" goals with refine, Guillaume Melquiond, 01/16/2013
- Re: [Coq-Club] "named" goals with refine, Dmitry Grebeniuk, 01/16/2013
- Re: [Coq-Club] "named" goals with refine, AUGER Cédric, 01/16/2013
- Re: [Coq-Club] "named" goals with refine, Dmitry Grebeniuk, 01/16/2013
- Re: [Coq-Club] "named" goals with refine, AUGER Cédric, 01/16/2013
- Re: [Coq-Club] "named" goals with refine, Dmitry Grebeniuk, 01/16/2013
- Re: [Coq-Club] "named" goals with refine, AUGER Cédric, 01/16/2013
- Re: [Coq-Club] "named" goals with refine, Gabriel Scherer, 01/16/2013
- Re: [Coq-Club] "named" goals with refine, Guillaume Melquiond, 01/16/2013
Archive powered by MHonArc 2.6.18.