Changeset 1908 for src/ASM/Util.ma

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/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).