List archive

• RE: [ssreflect] Difference between move/L and move=>H; move: {H}(L H), Georges Gonthier, 05/01/2015
  • Message not available
    • RE: [ssreflect] Difference between move/L and move=>H; move: {H}(L H), Georges Gonthier, 05/01/2015
  • RE: [ssreflect] Difference between move/L and move=>H; move: {H}(L H), Beta Ziliani, 05/01/2015
    • RE: [ssreflect] Difference between move/L and move=>H; move: {H}(L H), Georges Gonthier, 05/01/2015
• [ssreflect] Ssreflect and MathComp 1.5 for Coq 8.5beta2 available, Enrico Tassi, 05/04/2015
• [ssreflect] elim x with my_ind ?, Beta Ziliani, 05/19/2015
  • Re: [ssreflect] elim x with my_ind ?, Enrico Tassi, 05/19/2015
    • Re: [ssreflect] elim x with my_ind ?, John Wiegley, 05/19/2015

Archive powered by MHonArc 2.6.18.