#
# ChangeLog for Deliverables/D4.1/Matita/List.ma
#
# Generated by Trac 1.2
# Jan 16, 2021, 7:44:55 PM

Tue, 23 Nov 2010 13:30:10 GMT sacerdot [260]
	* 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/Bool.ma (modified)
	* Deliverables/D4.1/Matita/Connectives.ma (modified)
	* Deliverables/D4.1/Matita/Either.ma (modified)
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Maybe.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Plogic (added)
	* Deliverables/D4.1/Matita/Plogic/equality.ma (added)
	* Deliverables/D4.1/Matita/README (added)
	* Deliverables/D4.1/Matita/Vector.ma (modified)
	* Deliverables/D4.1/Matita/depends (added)
	* Deliverables/D4.1/Matita/root (added)

	- Minimal changes to make it compile with the standard distribution ...


Mon, 22 Nov 2010 18:25:53 GMT mulligan [256]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Work on ASM.ma file.


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.


Mon, 22 Nov 2010 10:12:56 GMT mulligan [247]
	* Deliverables/D4.1/Matita/ASM.ma (added)
	* Deliverables/D4.1/Matita/Either.ma (modified)
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Maybe.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)

	Changes to get directory to compile.


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

	Got List to compile.


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.


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 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.


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. ...