Ignore:
Timestamp:
Nov 22, 2010, 10:05:05 AM (9 years ago)
Author:
mulligan
Message:

Added physical file (Arithmetic) for arithmetic on bit vectors, and
added sparse bitvector trie for modelling 8051 memory.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/BitVector.ma

    r240 r246  
    66(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
    77
    8 include "Universes/Universes.ma".
     8include "Universes.ma".
    99
    10 include "Datatypes/Listlike/Vector/Vector.ma".
    11 include "Datatypes/Listlike/List/List.ma".
    12 
    13 include "Datatypes/Nat/Nat.ma".
    14 include "Datatypes/Nat/Addition.ma".
    15 include "Datatypes/Nat/Division_Modulus.ma".
    16 include "Datatypes/Nat/Exponential.ma".
    17 
    18 include "Datatypes/Bool.ma".
     10include "Vector.ma".
     11include "List.ma".
     12include "Nat.ma".
     13include "Bool.ma".
    1914
    2015(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
Note: See TracChangeset for help on using the changeset viewer.