Changeset 1908 for src/ASM


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

Location:
src/ASM
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r1882 r1908  
    739739   
    740740notation "hvbox(a break ⊎ b)"
    741  left associative with precedence 50
     741 left associative with precedence 55
    742742for @{ 'disjoint_union $a $b }.
    743743interpretation "sum" 'disjoint_union A B = (Sum A B).
  • src/ASM/Vector.ma

    r1646 r1908  
    2727
    2828notation "hvbox(hd break ::: tl)"
    29   right associative with precedence 52
     29  right associative with precedence 57
    3030  for @{ 'vcons $hd $tl }.
    3131
Note: See TracChangeset for help on using the changeset viewer.