Subject: Ssreflect Users Discussion List
List archive
- From: <>
- To:
- Subject: Re: RE: Extraction problem.
- Date: Fri, 10 Jun 2011 22:05:58 +0200 (CEST)
Thanks!
That's good. I previously worried that using anonymous fields was to prevent
extraction.
I'll try to post it to Coq bug tracker.
- Extraction problem., kik314+ml, 06/09/2011
- RE: Extraction problem., Georges Gonthier, 06/10/2011
- Re: RE: Extraction problem., kik314+ml, 06/10/2011
- RE: Extraction problem., Georges Gonthier, 06/10/2011
Archive powered by MHonArc 2.6.18.