ssreflect - Re: [ssreflect] Rewriting with inequalities?

Subject: Ssreflect Users Discussion List

List archive

Thanks to all for these hints!

--
François Pottier

http://gallium.inria.fr/~fpottier/

[ssreflect] Rewriting with inequalities?, François Pottier, 02/18/2016
- Re: [ssreflect] Rewriting with inequalities?, Enrico Tassi, 02/18/2016
  - Re: [ssreflect] Rewriting with inequalities?, François Pottier, 02/18/2016
    - Re: [ssreflect] Rewriting with inequalities?, Laurent Thery, 02/18/2016
    - RE: [ssreflect] Rewriting with inequalities?, Georges Gonthier, 02/18/2016
      - Re: [ssreflect] Rewriting with inequalities?, François Pottier, 02/18/2016
        
        Re: [ssreflect] Rewriting with inequalities?, Christian Doczkal, 02/18/2016
        
        RE: [ssreflect] Rewriting with inequalities?, Georges Gonthier, 02/18/2016
        
        Re: [ssreflect] Rewriting with inequalities?, François Pottier, 02/18/2016