#
# ChangeLog for Deliverables/D4.1/Matita/Exponential.ma
#
# Generated by Trac 1.2
# Jan 21, 2021, 7:47:44 PM

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 15:43:34 GMT sacerdot [263]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Exponential.ma (modified)

	- use standard notation for exponential
	- Bit is now Bool


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