#
# ChangeLog for src/Clight/CexecInd.ma
#
# Generated by Trac 1.2
# Mar 9, 2021, 12:31:59 PM

Wed, 06 Jun 2012 16:24:43 GMT campbell [2019]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecInd.ma (added)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/SimplifyCasts.ma (modified)
	* src/Clight/labelSimulation.ma (modified)
	* src/compiler.ma (modified)

	Split out special induction principle for Clight from soundness file. ...