#
# ChangeLog for src/RTL/RTLToERTLProof.ma
#
# Generated by Trac 1.2
# Mar 9, 2021, 12:53:22 PM

Thu, 07 Mar 2013 11:10:42 GMT tranquil [2796]
	* src/ASM/Arithmetic.ma (modified)
	* src/ERTL/ERTL_semantics.ma (modified)
	* src/ERTLptr/ERTLptrToLTLProof.ma (added)
	* src/ERTLptr/ERTLptr_semantics.ma (modified)
	* src/LTL/LTLToLINProof.ma (added)
	* src/RTL/RTLToERTLProof.ma (added)
	* src/RTL/RTL_semantics.ma (modified)
	* src/RTLabs/RTLabsToRTLProof.ma (added)
	* src/common/ErrorMessages.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/joint_semantics.ma (modified)
	* src/joint/semanticsUtils.ma (modified)
	* src/utilities/extralib.ma (modified)

	* added global notation for existence in Type[1] (\exists[1] x.P)
	* ...