#
# ChangeLog for Deliverables/D4.1/Matita/Bool.ma
#
# Generated by Trac 1.2
# Jan 26, 2021, 5:28:18 PM

Wed, 24 Nov 2010 17:29:12 GMT mulligan [281]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/Bool.ma (modified)
	* Deliverables/D4.1/Matita/Cartesian.ma (modified)
	* Deliverables/D4.1/Matita/Status.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	Resolved conflicts.


Tue, 23 Nov 2010 16:44:42 GMT sacerdot [268]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/BitVectorTrie.ma (modified)
	* Deliverables/D4.1/Matita/Bool.ma (modified)
	* Deliverables/D4.1/Matita/Cartesian.ma (modified)
	* Deliverables/D4.1/Matita/Connectives.ma (modified)
	* Deliverables/D4.1/Matita/Either.ma (modified)
	* Deliverables/D4.1/Matita/Equality.ma (deleted)
	* Deliverables/D4.1/Matita/Exponential.ma (modified)
	* Deliverables/D4.1/Matita/Plogic/equality.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	- notation moved to proper places
	- new function split on Vectors


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 09:05:05 GMT mulligan [246]
	* Deliverables/D4.1/Matita/Arithmetic.ma (added)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/BitVectorTrie.ma (added)
	* Deliverables/D4.1/Matita/Bool.ma (modified)
	* Deliverables/D4.1/Matita/Cartesian.ma (modified)
	* Deliverables/D4.1/Matita/Equality.ma (added)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Universes.ma (added)
	* Deliverables/D4.1/Matita/Util.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Added physical file (Arithmetic) for arithmetic on bit vectors, and ...


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


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