#
# ChangeLog for Deliverables/D4.1/DemoFinal/matita/Compare.ma
#
# Generated by Trac 1.2
# Jan 23, 2021, 7:13:13 AM

Thu, 10 Mar 2011 13:56:53 GMT mulligan [671]
	* Deliverables/D4.1/DemoFinal (added)
	* Deliverables/D4.1/DemoFinal/MCS51.native (added)
	* Deliverables/D4.1/DemoFinal/Search.c (added)
	* Deliverables/D4.1/DemoFinal/demo-script (added)
	* Deliverables/D4.1/DemoFinal/matita (added)
	* Deliverables/D4.1/DemoFinal/matita/ASM.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Arithmetic.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Assembly.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/BitVector.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/BitVectorTrie.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Bool.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Cartesian.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Char.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Compare.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Connectives.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/DoTest.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Either.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Exponential.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Fetch.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Interpret.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/LICENSE (added)
	* Deliverables/D4.1/DemoFinal/matita/List.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Maybe.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Nat.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/README (added)
	* Deliverables/D4.1/DemoFinal/matita/Search.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Status.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/String.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Test.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Util.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/Vector.ma (added)
	* Deliverables/D4.1/DemoFinal/matita/depends (added)
	* Deliverables/D4.1/DemoFinal/matita/root (added)

	Finished demo script for tomorrow.