Ignore:
Timestamp:
Dec 5, 2010, 9:55:30 PM (9 years ago)
Author:
sacerdot
Message:

Order of declaration of notations changed to put more precise notations first.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Vector.ma

    r370 r373  
    1919(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
    2020
     21notation "hvbox(hd break ::: tl)"
     22  right associative with precedence 52
     23  for @{ 'vcons $hd $tl }.
     24
    2125notation "[[ list0 x sep ; ]]"
    2226  non associative with precedence 90
    2327  for ${fold right @'vnil rec acc @{'vcons $x $acc}}.
    24 
    25 notation "hvbox(hd break ::: tl)"
    26   right associative with precedence 52
    27   for @{ 'vcons $hd $tl }.
    2828
    2929interpretation "Vector vnil" 'vnil = (Empty ?).
Note: See TracChangeset for help on using the changeset viewer.