#
# ChangeLog for src/ASM/AssemblyProof.ma
#
# Generated by Trac 1.2
# Apr 17, 2021, 2:02:59 PM

Wed, 08 Jun 2011 15:27:35 GMT sacerdot [901]
	* src/ASM/AssemblyProof.ma (modified)

	Second main lemma proved.


Wed, 08 Jun 2011 08:59:01 GMT sacerdot [897]
	* src/ASM/AssemblyProof.ma (modified)

	Proof completed, fetch and assembly are mutual inverses.


Wed, 08 Jun 2011 08:38:31 GMT sacerdot [896]
	* src/ASM/AssemblyProof.ma (modified)

	Proof finished (but ugly) :-)


Wed, 08 Jun 2011 08:09:06 GMT sacerdot [894]
	* src/ASM/AssemblyProof.ma (modified)

	Bug more evident.


Tue, 07 Jun 2011 15:32:30 GMT sacerdot [893]
	* src/ASM/AssemblyProof.ma (modified)

	Cleanup.


Tue, 07 Jun 2011 15:28:57 GMT sacerdot [892]
	* src/ASM/AssemblyProof.ma (modified)

	First fundamental lemma almost finished.


Tue, 07 Jun 2011 00:56:39 GMT sacerdot [890]
	* src/ASM/AssemblyProof.ma (modified)

	Better statement, begin of uniform proof.


Mon, 06 Jun 2011 21:07:24 GMT sacerdot [889]
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/common/Integers.ma (modified)

	Minor changes because of the new, weaker (but much faster) delift.


Sun, 05 Jun 2011 00:04:22 GMT sacerdot [885]
	* src/ASM/AssemblyProof.ma (modified)

	Proof almost finished, but rewritings are extremely slow.


Sat, 04 Jun 2011 16:16:08 GMT sacerdot [884]
	* src/ASM/AssemblyProof.ma (modified)

	...


Fri, 03 Jun 2011 16:36:00 GMT sacerdot [883]
	* src/ASM/AssemblyProof.ma (modified)

	Merged done well.


Fri, 03 Jun 2011 14:11:24 GMT mulligan [877]
	* src/ASM/AssemblyProof.ma (added)

	work from today