Ignore:
Timestamp:
Nov 24, 2010, 1:00:41 AM (9 years ago)
Author:
sacerdot
Message:

assembly1 defined on ACALL and ADD: it seems it will become too slow...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/depends

    r268 r271  
    11Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
     2Status.ma Arithmetic.ma BitVectorTrie.ma
    23Exponential.ma Connectives.ma Nat.ma Plogic/equality.ma
    34BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
     
    1415List.ma Bool.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
    1516Util.ma Nat.ma
    16 Interpret.ma Arithmetic.ma BitVectorTrie.ma
    1717BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
    1818Compare.ma Universes.ma
Note: See TracChangeset for help on using the changeset viewer.