#
# ChangeLog for LTS/Language.ma
#
# Generated by Trac 1.2
# Jan 28, 2021, 4:23:11 AM

Thu, 21 Nov 2013 19:20:02 GMT piccolo [3397]
	* LTS/Language.ma (modified)

	partial commit


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