Changeset 1908 for src/common


Ignore:
Timestamp:
Apr 26, 2012, 5:38:07 PM (8 years ago)
Author:
fguidi
Message:

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

File:
1 edited

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).
Note: See TracChangeset for help on using the changeset viewer.