#
# ChangeLog for src/utilities/permutations.ma
#
# Generated by Trac 1.2
# Mar 3, 2021, 2:02:41 PM

Mon, 21 May 2012 17:04:21 GMT tranquil [1976]
	* src/ASM/CostsProof.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/StructuredTraces.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/as_semantics.ma (added)
	* src/joint/semantics_paolo.ma (modified)
	* src/utilities/bind_new.ma (added)
	* src/utilities/monad.ma (modified)
	* src/utilities/option.ma (modified)
	* src/utilities/permutations.ma (added)
	* src/utilities/state.ma (modified)

	* monads: just changed some defs, which had to be propagated in some ...