Changeset 246 for Deliverables/D4.1/Matita/Nat.ma

Timestamp:

Nov 22, 2010, 10:05:05 AM (10 years ago)

Author:

mulligan

Message:

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

File:

• Deliverables/D4.1/Matita/Nat.ma (modified) (1 diff)

Deliverables/D4.1/Matita/Nat.ma

@@ -5 +5 @@
 include "Bool.ma".
 
-include "logic/pts.ma".
-include "Plogic/equality.ma".
-include "Plogic/connectives.ma".
+include "Connectives.ma".
 
 (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)