Changeset 854 for src/ASM/Vector.ma


Ignore:
Timestamp:
May 27, 2011, 5:13:29 PM (9 years ago)
Author:
mulligan
Message:

commit to avoid conflicts

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Vector.ma

    r749 r854  
    494494  fold_right … (λy,v. (eq_a x y) ∨ v) false l.
    495495
     496
    496497definition subvector_with ≝
    497498  λA: Type[0].
Note: See TracChangeset for help on using the changeset viewer.