#
# ChangeLog for LTS/Language.ma
#
# Generated by Trac 1.2
# Jan 22, 2021, 1:34:15 AM

Fri, 15 Nov 2013 13:51:50 GMT piccolo [3396]
	* LTS/Language.ma (modified)
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)

	correctness proof in developping


Wed, 30 Oct 2013 09:29:47 GMT piccolo [3394]
	* LTS/Language.ma (added)
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)

	Added abstract language and procedure to add call post labelled