List archive

• 14/06/03
  • RE: [ssreflect] Question about ssreflect, Georges Gonthier
• 14/06/04
  • [ssreflect] ? pattern does not work with case, Jason Gross
  • Re: [ssreflect] ? pattern does not work with case, Enrico Tassi
  • [ssreflect] Time-annotated sources for the non-trunk versions of ssr, Jason Gross
• 14/06/06
  • [ssreflect] Ssreflect sometimes breaks the [a : b] notation of Coq, Jason Gross
  • RE: [ssreflect] Ssreflect sometimes breaks the [a : b] notation of Coq, Georges Gonthier
• 14/06/11
  • [ssreflect] Dependent variant of case/boolP?, Jason Gross
  • Re: [ssreflect] Dependent variant of case/boolP?, Assia Mahboubi
  • Re: [ssreflect] Dependent variant of case/boolP?, Jason Gross
  • Re: [ssreflect] Dependent variant of case/boolP?, Enrico Tassi
  • Re: [ssreflect] Dependent variant of case/boolP?, Jason Gross
  • [ssreflect] Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please report., Jason Gross
  • Re: [ssreflect] Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please report., Maxime Dénès
  • Re: [ssreflect] Dependent variant of case/boolP?, Enrico Tassi
  • Re: [ssreflect] Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please report., Enrico Tassi
  • [ssreflect] bigop question, Laurence Rideau
  • RE: [ssreflect] bigop question, Georges Gonthier
• 14/06/12
  • [ssreflect] Anomaly: File "tactics/tacinterp.ml", line 1801, characters 35-41: Assertion failed. Please report., Jason Gross
  • Re: [ssreflect] Anomaly: File "tactics/tacinterp.ml", line 1801, characters 35-41: Assertion failed. Please report., Enrico Tassi
• 14/06/18
  • [ssreflect] Ssreflect (1.4) breaks Ltac's type of notation, Jason Gross
  • [ssreflect] a new question about bigop (for Sophie...), Laurence Rideau
• 14/06/19
  • RE: [ssreflect] Ssreflect (1.4) breaks Ltac's type of notation, Georges Gonthier
  • RE: [ssreflect] a new question about bigop (for Sophie...), Georges Gonthier
  • Re: [ssreflect] Ssreflect (1.4) breaks Ltac's type of notation, Jason Gross
  • [ssreflect] Differences between ssr's rewrite and Coq's rewrite?, Jason Gross
  • Re: [ssreflect] Differences between ssr's rewrite and Coq's rewrite?, Enrico Tassi
  • Re: [ssreflect] Differences between ssr's rewrite and Coq's rewrite?, Assia Mahboubi
• 14/06/26
  • [ssreflect] Why does [case/(@id (and _ _))] tell me that [and] is not an inductive product?, Jason Gross
  • Re: [ssreflect] Why does [case/(@id (and _ _))] tell me that [and] is not an inductive product?, Enrico Tassi
  • Re: [ssreflect] Why does [case/(@id (and _ _))] tell me that [and] is not an inductive product?, Jason Gross

Archive powered by MHonArc 2.6.18.