#
# ChangeLog for Deliverables/D4.1/Matita
#
# Generated by Trac 1.2
# Mar 3, 2021, 8:42:55 PM

Mon, 15 Nov 2010 09:26:20 GMT mulligan [241]
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Also needed an updated List.ma.


Mon, 15 Nov 2010 09:22:41 GMT mulligan [240]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Updated Vector / BitVector files taken from my Matita library.


Fri, 12 Nov 2010 16:09:39 GMT mulligan [238]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)

	More work on bitvectors.


Fri, 12 Nov 2010 15:51:45 GMT mulligan [237]
	* 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)

	More functions on bitvectors written.


Fri, 12 Nov 2010 15:01:48 GMT mulligan [236]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Cartesian.ma (modified)
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Strange problem with matita and the Maybe file?  Cannot find
	Maybe.ng.


Fri, 12 Nov 2010 13:43:02 GMT mulligan [235]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)

	More work on bitvectors.


Fri, 12 Nov 2010 13:27:56 GMT mulligan [234]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Division and modulus implemented.  All necessary orders on naturals ...


Fri, 12 Nov 2010 10:51:18 GMT mulligan [233]
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Changes from this morning: Bool / Prop division = nightmare.


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 16:00:50 GMT mulligan [229]
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Util.ma (added)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	More changes.


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.


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