#
# ChangeLog for Deliverables/D4.1/Matita/Maybe.ma
#
# Generated by Trac 1.2
# Jan 21, 2021, 7:17:36 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 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.


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