#
# ChangeLog for src/Clight/abstract.ma
#
# Generated by Trac 1.2
# Feb 28, 2021, 7:51:17 PM

Mon, 10 Sep 2012 16:18:56 GMT campbell [2328]
	* src/Clight/abstract.ma (modified)

	Cut down the notion of a Clight labelled state to those where we pick ...


Fri, 07 Sep 2012 10:15:51 GMT campbell [2326]
	* src/Clight/abstract.ma (modified)

	More accurate notion of labelled states in Clight.


Fri, 07 Sep 2012 09:26:19 GMT campbell [2325]
	* src/Clight/abstract.ma (added)
	* src/correctness.ma (modified)

	Fill out some Clight bits and pieces in correctness.ma.