#
# ChangeLog for Deliverables/D4.1/Matita/Arithmetic.ma
#
# Generated by Trac 1.2
# Jan 18, 2021, 2:24:47 AM

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


Tue, 23 Nov 2010 10:43:14 GMT mulligan [257]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Exponential.ma (added)
	* Deliverables/D4.1/Matita/Interpret.ma (added)

	Added exponential functions for nats.  Working on operational ...


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