List archive

• 16/02/18
  • Re: [ssreflect] Rewriting with inequalities?, Enrico Tassi
  • Re: [ssreflect] ssreflect and omega, Laurent Thery
  • Re: [ssreflect] Rewriting with inequalities?, François Pottier
  • Re: [ssreflect] ssreflect and omega, François Pottier
  • Re: [ssreflect] Rewriting with inequalities?, Laurent Thery
  • Re: [ssreflect] ssreflect and omega, François Pottier
  • RE: [ssreflect] Rewriting with inequalities?, Georges Gonthier
  • Re: [ssreflect] ssreflect and omega, Laurent Thery
  • RE: [ssreflect] ssreflect and omega, Georges Gonthier
  • Re: [ssreflect] ssreflect and omega, Maxime Dénès
  • Re: [ssreflect] ssreflect and omega, Nicolas Magaud
  • Re: [ssreflect] Rewriting with inequalities?, François Pottier
  • Re: [ssreflect] ssreflect and omega, Laurent Thery
  • Re: [ssreflect] Rewriting with inequalities?, Christian Doczkal
  • RE: [ssreflect] Rewriting with inequalities?, Georges Gonthier
  • Re: [ssreflect] Rewriting with inequalities?, François Pottier
• 16/02/21
  • Re: [ssreflect] ssreflect and omega, Assia Mahboubi
  • Re: [ssreflect] ssreflect and omega, Assia Mahboubi
  • Re: [ssreflect] trivIset and intersecting sets..., Assia Mahboubi
  • [ssreflect] Unused Type field in packed classes, Robbert Krebbers
  • Re: [ssreflect] Unused Type field in packed classes, Assia Mahboubi
  • Re: [ssreflect] Unused Type field in packed classes, Robbert Krebbers
• 16/02/22
  • Re: [ssreflect] ssreflect and omega, François Pottier
  • Re: [ssreflect] ssreflect and omega, Assia Mahboubi
  • RE: [ssreflect] ssreflect and omega, Georges Gonthier
  • [ssreflect] Rewriting with wildcards, Guillaume Melquiond
  • Re: [ssreflect] ssreflect and omega, Assia Mahboubi
  • [ssreflect] rewrite instantiating evars in the goal, Enrico Tassi
  • Re: [ssreflect] ssreflect and omega, Assia Mahboubi
  • Re: [ssreflect] ssreflect and omega, Enrico Tassi

Archive powered by MHonArc 2.6.18.