#
# ChangeLog for src/correctness.ma
#
# Generated by Trac 1.2
# Mar 4, 2021, 9:30:37 PM

Mon, 28 May 2012 12:35:19 GMT campbell [2004]
	* src/correctness.ma (modified)

	Minor edits from discussion.


Mon, 28 May 2012 11:10:50 GMT campbell [2003]
	* src/correctness.ma (modified)

	Some discussion of correctness statements.


Fri, 25 May 2012 11:47:32 GMT campbell [2001]
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/compiler.ma (modified)
	* src/correctness.ma (modified)

	Get the compiler to output more.


Fri, 25 May 2012 07:18:04 GMT campbell [1996]
	* src/ASM/Interpret2.ma (modified)
	* src/correctness.ma (added)

	Work on correctness from yesterday.