Changeset 1330 for src/ASM/Vector.ma


Ignore:
Timestamp:
Oct 7, 2011, 6:39:55 PM (9 years ago)
Author:
campbell
Message:

Evict obsolete file.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Vector.ma

    r1069 r1330  
    1313
    1414include "utilities/extranat.ma".
    15 include "utilities/oldlib/eq.ma".
    1615
    1716(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
Note: See TracChangeset for help on using the changeset viewer.