List archive

• [ssreflect] eqType without syntactic equality?, Chantal Keller, 10/06/2014
  • RE: [ssreflect] eqType without syntactic equality?, Georges Gonthier, 10/06/2014
    • Re: [ssreflect] eqType without syntactic equality?, Chantal KELLER, 10/06/2014
  • Re: [ssreflect] eqType without syntactic equality?, Strub, Pierre-Yves, 10/07/2014
• [ssreflect] Replacement tactics for "inversion"?, johnw, 10/15/2014
  • RE: [ssreflect] Replacement tactics for "inversion"?, Georges Gonthier, 10/16/2014
    • RE: [ssreflect] Replacement tactics for "inversion"?, Strub, Pierre-Yves, 10/16/2014
• [ssreflect] FW: Thank you for ssreflect!, Georges Gonthier, 10/16/2014
• [ssreflect] Documentation, Maxime Dénès, 10/17/2014
  • Re: [ssreflect] Documentation, Maxime Dénès, 10/17/2014
    • Re: [ssreflect] Documentation, Enrico Tassi, 10/17/2014
• [ssreflect] Feature request: length-predicated sequences, John Wiegley, 10/22/2014
• [ssreflect] Coq bug affecting ssreflect libraries, John Wiegley, 10/22/2014
  • Re: [ssreflect] Coq bug affecting ssreflect libraries, John Wiegley, 10/22/2014
    • Re: [ssreflect] Coq bug affecting ssreflect libraries, Jason Gross, 10/23/2014

Archive powered by MHonArc 2.6.18.