List archive

• Re: ssreflect 1.5: regression in apply?, (continued)
  • Re: ssreflect 1.5: regression in apply?, Enrico Tassi, 04/25/2014
  • Re: [ssreflect] ssreflect 1.5: regression in apply?, Ralf Jung, 04/29/2014
• rewrite and instantiation of existentials: Qed fails, Ralf Jung, 04/19/2014
  • Re: rewrite and instantiation of existentials: Qed fails, Enrico Tassi, 04/19/2014
    • Re: rewrite and instantiation of existentials: Qed fails, Ralf Jung, 04/19/2014
• tampering with discharged assumptions, Frederic Chyzak, 04/24/2014
  • RE: tampering with discharged assumptions, Georges Gonthier, 04/24/2014
    • documentation/meaning of “{+}” [Was: tampering with discharged assumptions], Frederic Chyzak, 04/24/2014
• Can´t run example of the tutorial, Marcus Ramos, 04/24/2014
  • Re: Can´t run example of the tutorial, Beta Ziliani, 04/24/2014
    • Re: Can´t run example of the tutorial, Marcus Ramos, 04/24/2014
  • Re: Can´t run example of the tutorial, Maxime Dénès, 04/24/2014
    • Re: Can´t run example of the tutorial, Marcus Ramos, 04/24/2014
• ssrfun: Problem with Notation, Ralf Jung, 04/24/2014

Archive powered by MHonArc 2.6.18.