#
# ChangeLog for src/utilities/proper.ma
#
# Generated by Trac 1.2
# Jan 23, 2021, 6:21:30 PM

Thu, 26 Apr 2012 15:38:07 GMT fguidi [1908]
	* src/ASM/Util.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/blocks.ma (modified)
	* src/utilities/proper.ma (modified)

	notation fixup following last commit of matita
	we shifted the levels ...


Wed, 11 Jan 2012 16:41:45 GMT tranquil [1640]
	* src/RTL/RTL_paolo.ma (modified)
	* src/RTLabs/RTLabsToRTL_paolo.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Errors.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/TranslateUtils_paolo.ma (modified)
	* src/joint/semantics_paolo.ma (added)
	* src/utilities/monad.ma (modified)
	* src/utilities/option.ma (modified)
	* src/utilities/proper.ma (modified)

	* finished fork of semantics.ma
	* unification of Errors under the ...


Fri, 06 Jan 2012 23:33:17 GMT tranquil [1635]
	* Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/RTL/RTL_paolo.ma (added)
	* src/RTLabs/RTLabsToRTL_paolo.ma (added)
	* src/common/Graphs.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/joint/Joint_paolo.ma (added)
	* src/joint/TranslateUtils_paolo.ma (added)
	* src/utilities/bindLists.ma (added)
	* src/utilities/monad.ma (added)
	* src/utilities/option.ma (added)
	* src/utilities/proper.ma (added)
	* src/utilities/setoids.ma (added)
	* src/utilities/state.ma (added)
	* src/utilities/trace.ma (added)

	* lists with binders and monads
	* Joint.ma and other temprarily ...