#
# ChangeLog for Deliverables/D4.1/Matita/Universes.ma
#
# Generated by Trac 1.2
# Jan 23, 2021, 7:09:38 AM

Mon, 22 Nov 2010 09:05:05 GMT mulligan [246]
	* Deliverables/D4.1/Matita/Arithmetic.ma (added)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/BitVectorTrie.ma (added)
	* Deliverables/D4.1/Matita/Bool.ma (modified)
	* Deliverables/D4.1/Matita/Cartesian.ma (modified)
	* Deliverables/D4.1/Matita/Equality.ma (added)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Universes.ma (added)
	* Deliverables/D4.1/Matita/Util.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Added physical file (Arithmetic) for arithmetic on bit vectors, and ...