Changeset 246 for Deliverables/D4.1/Matita/Util.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/Util.ma (modified) (1 diff)

Deliverables/D4.1/Matita/Util.ma

@@ -1 @@
-include "logic/pts.ma".
-
 include "Nat.ma".