#
# ChangeLog for Deliverables/D4.1/Matita/ASM.ma
#
# Generated by Trac 1.2
# Jan 17, 2021, 2:15:52 PM

Wed, 24 Nov 2010 22:01:24 GMT sacerdot [283]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	Bug fixed in type declaration of BIT/N_BIT.


Wed, 24 Nov 2010 16:18:11 GMT sacerdot [278]
	* Deliverables/D4.1/Matita/ASM.ma (modified)

	More curryfication.


Wed, 24 Nov 2010 00:00:41 GMT sacerdot [271]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	assembly1 defined on ACALL and ADD: it seems it will become too
	slow...


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 16:05:07 GMT sacerdot [264]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (added)
	* Deliverables/D4.1/Matita/Char.ma (modified)
	* Deliverables/D4.1/Matita/String.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	- new axiomatic data type for Strings
	- new file for Assembly


Tue, 23 Nov 2010 15:39:31 GMT sacerdot [262]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	- new notation [[...]] for vectors to reduce ambiguity
	- ...


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 18:25:53 GMT mulligan [256]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Work on ASM.ma file.


Mon, 22 Nov 2010 12:55:07 GMT mulligan [249]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Char.ma (added)
	* Deliverables/D4.1/Matita/String.ma (added)

	More work on defining fundamental datatypes.


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