#
# ChangeLog for Deliverables/D4.1/Matita/String.ma
#
# Generated by Trac 1.2
# Jan 22, 2021, 5:38:53 PM

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


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.