Ignore:
Timestamp:
Jan 20, 2011, 1:32:32 PM (9 years ago)
Author:
mulligan
Message:

Added bitvector arithmetic for Brian.

File:
1 edited

Legend:

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

    r439 r462  
    77Either.ma Bool.ma
    88DoTest.ma Assembly.ma Interpret.ma Test.ma
     9Debug.ma Interpret.ma Status.ma
    910ASM.ma BitVector.ma Either.ma String.ma
    1011Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
Note: See TracChangeset for help on using the changeset viewer.