Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] "named" goals with refine

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] "named" goals with refine


Chronological Thread 
  • 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.



Archive powered by MHonArc 2.6.18.

Top of Page