Ignore:
Timestamp:
Nov 24, 2010, 1:43:28 PM (9 years ago)
Author:
mulligan
Message:

Changes from this morning.

File:
1 edited

Legend:

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

    r269 r272  
    237237    ].
    238238   
    239 interpretation "Vector append" 'append v1 v2 = (append ??? v1 v2).
     239notation "hvbox(l break @@ r)"
     240  right associative with precedence 47
     241  for @{ 'vappend $l $r }.
     242   
     243interpretation "Vector append" 'vappend v1 v2 = (append ??? v1 v2).
    240244   
    241245nlet rec scan_left (A: Type[0]) (B: Type[0]) (n: Nat)
Note: See TracChangeset for help on using the changeset viewer.