Legend:
 Unmodified
 Added
 Removed

src/ASM/Util.ma
r1882 r1908 739 739 740 740 notation "hvbox(a break ⊎ b)" 741 left associative with precedence 5 0741 left associative with precedence 55 742 742 for @{ 'disjoint_union $a $b }. 743 743 interpretation "sum" 'disjoint_union A B = (Sum A B). 
src/ASM/Vector.ma
r1646 r1908 27 27 28 28 notation "hvbox(hd break ::: tl)" 29 right associative with precedence 5 229 right associative with precedence 57 30 30 for @{ 'vcons $hd $tl }. 31 31
Note: See TracChangeset
for help on using the changeset viewer.