List archive

• Conversion coq_nat ssr_nat, Allyx FONTAINE, 06/08/2011
  • Re: Conversion coq_nat ssr_nat, Reynald Affeldt, 06/08/2011
    • Re: Conversion coq_nat ssr_nat, Vincent Siles, 06/08/2011
  • Re: Conversion coq_nat ssr_nat, Assia Mahboubi, 06/08/2011
    • Re: Conversion coq_nat ssr_nat, Allyx FONTAINE, 06/08/2011
• Extraction problem., kik314+ml, 06/09/2011
  • RE: Extraction problem., Georges Gonthier, 06/10/2011
    • Re: RE: Extraction problem., kik314+ml, 06/10/2011
• how to describe some of the choices made for ssreflect for a "not used to coq" reviewer ?, Vincent Siles, 06/13/2011
  • RE: how to describe some of the choices made for ssreflect for a "not used to coq" reviewer ?, Georges Gonthier, 06/13/2011
• Installation error, Evgeny Makarov, 06/13/2011
  • Re: Installation error, Enrico Tassi, 06/13/2011
    • Re: Installation error, Evgeny Makarov, 06/13/2011
      • Re: Installation error, Enrico Tassi, 06/13/2011
      • Re: Installation error, Evgeny Makarov, 06/14/2011
      • Re: Installation error, Maxime Dénès, 06/13/2011
• continuity with respect to \big, Vladimir Komendantsky, 06/14/2011
  • RE: continuity with respect to \big, Georges Gonthier, 06/14/2011
• switching between big ops on sets and big ops on sequences, roconnor, 06/15/2011
  • RE: switching between big ops on sets and big ops on sequences, Georges Gonthier, 06/15/2011
• x \in coset A x, roconnor, 06/16/2011
  • RE: x \in coset A x, Georges Gonthier, 06/16/2011
• ssr 1.2 vs ssr 1.3, Jean-Jacques Levy, 06/17/2011
  • RE: ssr 1.2 vs ssr 1.3, Georges Gonthier, 06/17/2011
    • Re: ssr 1.2 vs ssr 1.3, Enrico Tassi, 06/17/2011
• Dependent type error raised when rewriting transitivity lemmas, Erik Martin-Dorel, 06/17/2011
  • RE: Dependent type error raised when rewriting transitivity lemmas, Georges Gonthier, 06/21/2011
  • Re: Dependent type error raised when rewriting transitivity lemmas, Enrico Tassi, 06/22/2011
    • Re: Dependent type error raised when rewriting transitivity lemmas, Erik Martin-Dorel, 06/22/2011
• big_trivIset, roconnor, 06/20/2011

Archive powered by MHonArc 2.6.18.