Skip to Content.
Sympa Menu

ssreflect - Re: RE: Extraction problem.

Subject: Ssreflect Users Discussion List

List archive

Re: RE: Extraction problem.


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



Archive powered by MHonArc 2.6.18.

Top of Page