Subject: Ssreflect Users Discussion List
List archive
- From: Georges Gonthier <>
- To: Beta Ziliani <>, ssreflect mailing list <>
- Subject: Re: [ssreflect] Specializing assumptions with unknowns
- Date: Wed, 2 Apr 2014 21:48:00 +0000
- Accept-language: en-US
Try case/(_ _)/Wrap. -Georges
- [ssreflect] Specializing assumptions with unknowns, Beta Ziliani, 04/02/2014
- Re: [ssreflect] Specializing assumptions with unknowns, Enrico Tassi, 04/02/2014
- Re: [ssreflect] Specializing assumptions with unknowns, Pierre-Yves Strub, 04/03/2014
- Re: [ssreflect] Specializing assumptions with unknowns, Enrico Tassi, 04/03/2014
- Re: [ssreflect] Specializing assumptions with unknowns, Pierre-Yves Strub, 04/03/2014
- Re: [ssreflect] Specializing assumptions with unknowns, Georges Gonthier, 04/02/2014
- Re: [ssreflect] Specializing assumptions with unknowns, Enrico Tassi, 04/03/2014
- Re: [ssreflect] Specializing assumptions with unknowns, Enrico Tassi, 04/02/2014
Archive powered by MHonArc 2.6.18.