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

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.


Mon, 08 Nov 2010 13:24:56 GMT mulligan [223]
	* Deliverables/D4.1/Matita/BitVectors.ma (added)
	* Deliverables/D4.1/Matita/Vectors.ma (modified)

	File for bitvector specific stuff added.


Mon, 08 Nov 2010 12:53:17 GMT mulligan [222]
	* Deliverables/D4.1/Matita/Vectors.ma (moved)

	Datatype for fixed length lists (vectors) as well as some recursive ...


Mon, 08 Nov 2010 10:17:39 GMT mulligan [221]
	* Deliverables/D4.1/Matita (added)
	* Deliverables/D4.1/Matita/BitVectors.ma (added)

	Starting formalisation in Matita