Subject: Ssreflect Users Discussion List
List archive
- From: Pierre Casteran <>
- To: Georges Gonthier <>
- Cc: "" <>, "" <>
- Subject: Re: operator precedences
- Date: Tue, 17 Feb 2009 10:30:46 +0100
Georges Gonthier a écrit :
but I guess that's a separate issue.It works, thanks.
For now, if you do want to do Require Import ssrbool Setoid, you should
change the level 60 to 55 in ssrbool.
Pierre
- operator precedences, Pierre Casteran, 02/13/2009
- RE: operator precedences, Georges Gonthier, 02/15/2009
- Re: operator precedences, Pierre Casteran, 02/17/2009
- RE: operator precedences, Georges Gonthier, 02/15/2009
Archive powered by MHonArc 2.6.18.