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

    r237 r246  
    55include "Bool.ma".
    66
    7 include "logic/pts.ma".
    8 include "Plogic/equality.ma".
    9 include "Plogic/connectives.ma".
     7include "Connectives.ma".
    108
    119(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
Note: See TracChangeset for help on using the changeset viewer.