#
# ChangeLog for Deliverables/D4.1/Matita/Compare.ma
#
# Generated by Trac 1.2
# Jan 27, 2021, 12:23:43 PM

Mon, 22 Nov 2010 10:43:04 GMT mulligan [248]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/BitVectorTrie.ma (modified)
	* Deliverables/D4.1/Matita/Compare.ma (added)
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	More changes.  Added datatype for addressing modes.