#
# ChangeLog for src/ERTLptr/ERTLtoERTLptrOK.ma
#
# Generated by Trac 1.2
# Mar 7, 2021, 4:13:14 AM

Tue, 29 Jan 2013 10:20:53 GMT piccolo [2592]
	* src/ERTLptr/ERTLtoERTLptr.ma (modified)
	* src/ERTLptr/ERTLtoERTLptrOK.ma (modified)
	* src/joint/semantics.ma (modified)

	main lemma of ERTLptr in place


Thu, 24 Jan 2013 18:52:38 GMT piccolo [2590]
	* src/ERTL/semantics.ma (modified)
	* src/ERTLptr/ERTLtoERTLptrOK.ma (modified)
	* src/ERTLptr/semantics.ma (modified)
	* src/common/ExtraMonads.ma (modified)
	* src/common/PositiveMap.ma (modified)
	* src/common/extraGlobalenvs.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/semantics.ma (modified)

	added monad machineary for ERTL to ERTLptr translation ...


Sat, 05 Jan 2013 12:41:13 GMT piccolo [2570]
	* src/ERTLptr/ERTLtoERTLptr.ma (modified)
	* src/ERTLptr/ERTLtoERTLptrOK.ma (added)
	* src/common/ExtraMonads.ma (added)
	* src/common/extraGlobalenvs.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/lineariseProof.ma (modified)
	* src/joint/semantics.ma (modified)

	ERTLtoERTLptr in place