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/binary/Z.ma

    r487 r697  
    1717
    1818(*include "arithmetics/compare.ma".*)
    19 include "binary/positive.ma".
     19include "utilities/binary/positive.ma".
    2020
    2121inductive Z : Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.