Ignore:
Timestamp:
Nov 23, 2010, 6:11:49 PM (9 years ago)
Author:
sacerdot
Message:
  • ...
File:
1 edited

Legend:

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

    r268 r269  
    237237    ].
    238238   
    239 interpretation "Vector append" 'append hd tl = (append ? ? hd tl).
     239interpretation "Vector append" 'append v1 v2 = (append ??? v1 v2).
    240240   
    241241nlet rec scan_left (A: Type[0]) (B: Type[0]) (n: Nat)
Note: See TracChangeset for help on using the changeset viewer.