source: Deliverables/D4.1/Matita/BitVectors.ma @ 224

Last change on this file since 224 was 224, checked in by mulligan, 9 years ago

Changes to bit vectors and vectors.

File size: 223 bytes
Line 
1include "Vectors.ma".
2
3include "arithmetics/nat.ma".
4include "basics/bool.ma".
5
6ndefinition BitVector ≝ λn: nat. Vector bool n.
7
8ndefinition conjunction ≝
9  λn: nat.
10  λv, q: BitVector n.
11    fold_right ∧ true v q.
Note: See TracBrowser for help on using the repository browser.