Changeset 1330


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

Evict obsolete file.

Location:
src
Files:
1 deleted
2 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Vector.ma

    r1069 r1330  
    1313
    1414include "utilities/extranat.ma".
    15 include "utilities/oldlib/eq.ma".
    1615
    1716(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
  • src/utilities/binary/positive.ma

    r891 r1330  
    1717include "basics/logic.ma".
    1818include "arithmetics/nat.ma".
    19 include "utilities/oldlib/eq.ma".
    2019
    2120(* arithmetics/comparison.ma --> *)
Note: See TracChangeset for help on using the changeset viewer.