Changeset 2688 for src/ASM


Ignore:
Timestamp:
Feb 21, 2013, 6:03:46 PM (7 years ago)
Author:
tranquil
Message:
  • in Arithmeticcs.ma: commented include that breaks script in latest matita
  • moved COST_LABEL out of joint_seq
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Arithmetic.ma

    r2684 r2688  
    11include "ASM/BitVector.ma".
    22include "ASM/Util.ma".
    3 include "arithmetics/exp.ma".
     3(* include "arithmetics/exp.ma". <-- this does not make it compile on latest matita + Cerco *)
    44
    55definition addr16_of_addr11: Word → Word11 → Word ≝
Note: See TracChangeset for help on using the changeset viewer.