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/utilities/extralib.ma

    r695 r697  
    1616include "basics/list.ma".
    1717include "basics/logic.ma".
    18 include "binary/Z.ma".
    19 include "binary/positive.ma".
     18include "utilities/binary/Z.ma".
     19include "utilities/binary/positive.ma".
    2020
    2121lemma eq_rect_Type0_r:
Note: See TracChangeset for help on using the changeset viewer.