#
# ChangeLog for src/utilities/deqsets.ma
#
# Generated by Trac 1.2
# Apr 22, 2021, 3:42:49 PM

Mon, 13 Aug 2012 12:18:31 GMT campbell [2296]
	* src/RTLabs/Traces.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/Pointers.ma (modified)
	* src/utilities/deqsets.ma (added)

	Tidy up some ill-placed definitions.