#
# ChangeLog for src/ERTLptr/ERTLtoERTLptrOK.ma
#
# Generated by Trac 1.2
# Feb 25, 2021, 6:34:38 PM

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