#
# ChangeLog for Deliverables/D4.1/Matita/BitVector.ma
#
# Generated by Trac 1.2
# Feb 27, 2021, 11:37:16 PM

Thu, 11 Nov 2010 15:56:59 GMT mulligan [232]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Bool.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Lots of work from today.  Writing bitvector library is harder than it ...


Thu, 11 Nov 2010 11:27:04 GMT mulligan [231]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	BitVector stuff from this morning: need further development of Nat ...


Wed, 10 Nov 2010 16:26:08 GMT mulligan [230]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Lots of work from today.


Tue, 09 Nov 2010 14:27:30 GMT mulligan [228]
	* Deliverables/D4.1/Matita/BitVector.ma (moved)
	* Deliverables/D4.1/Matita/Bool.ma (added)
	* Deliverables/D4.1/Matita/Cartesian.ma (added)
	* Deliverables/D4.1/Matita/Either.ma (added)
	* Deliverables/D4.1/Matita/List.ma (added)
	* Deliverables/D4.1/Matita/Maybe.ma (added)
	* Deliverables/D4.1/Matita/Nat.ma (added)
	* Deliverables/D4.1/Matita/Vector.ma (moved)

	Conjunction, disjunction and 'xorjunction' implemented on bitvectors. ...


Mon, 08 Nov 2010 16:04:27 GMT mulligan [224]
	* Deliverables/D4.1/Matita/BitVectors.ma (modified)
	* Deliverables/D4.1/Matita/Vectors.ma (modified)

	Changes to bit vectors and vectors.