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/Coqlib.ma

    r695 r697  
    1818    library. *)
    1919
    20 include "binary/Z.ma".
     20include "utilities/binary/Z.ma".
    2121include "basics/types.ma".
    2222include "basics/list.ma".
    2323
    24 include "extralib.ma".
     24include "utilities/extralib.ma".
    2525
    2626(*
Note: See TracChangeset for help on using the changeset viewer.