Changeset 1908 for src/ASM/Vector.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/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