#
# ChangeLog for Deliverables/D4.1/Matita/Arithmetic.ma
#
# Generated by Trac 1.2
# Jan 22, 2021, 5:17:57 AM

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.


Wed, 24 Nov 2010 16:06:16 GMT sacerdot [277]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)

	Bugs fixed in definition of sub8_with_carrier.


Wed, 24 Nov 2010 14:40:37 GMT mulligan [275]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)

	Removed all axioms from Arithmetic.ma and replaced them with ...


Wed, 24 Nov 2010 14:28:04 GMT mulligan [274]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)

	First attempt at sub8_with_c complete.


Wed, 24 Nov 2010 13:28:34 GMT mulligan [273]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)

	Some fault functions were rewritten.


Wed, 24 Nov 2010 12:43:28 GMT mulligan [272]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Changes from this morning.


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