Changeset 697 for src/common/Integers.ma


Ignore:
Timestamp:
Mar 18, 2011, 1:28:33 PM (9 years ago)
Author:
campbell
Message:

Merge Clight branch of vectors and friends.
Start making stuff build.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Integers.ma

    r695 r697  
    1717
    1818include "arithmetics/nat.ma".
    19 include "binary/Z.ma".
    20 include "extralib.ma".
     19include "utilities/binary/Z.ma".
     20include "utilities/extralib.ma".
    2121
    2222include "cerco/BitVector.ma".
Note: See TracChangeset for help on using the changeset viewer.