Show
Ignore:
Timestamp:
04/26/12 17:38:07 (13 months ago)
Author:
fguidi
Message:

notation fixup following last commit of matita
we shifted the levels of precedence from 50 to 60 up by 5

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • src/common/Identifiers.ma

    r1882 r1908  
    401401    (match s' with [ an_id_map s1 ⇒ s1 ])). 
    402402 
    403 notation "a ∖ b" left associative with precedence 50 for @{'setminus $a $b}. 
     403notation "a ∖ b" left associative with precedence 55 for @{'setminus $a $b}. 
    404404 
    405405interpretation "identifier set union" 'union a b = (union_set ??? a b).