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

Deliverables/D4.1/Matita/Bool.ma

@@ -1 @@
-include "logic/pts.ma".
+include "Universes.ma".
 
 ninductive Bool: Type[0] ≝