#
# ChangeLog for src/common/Order.ma
#
# Generated by Trac 1.2
# Mar 3, 2021, 1:04:05 PM

Fri, 01 Jul 2011 15:45:46 GMT mulligan [1049]
	* src/RTLabs/RTLAbstoRTL.ma (modified)
	* src/common/Order.ma (added)
	* src/common/Registers.ma (modified)
	* src/utilities/HMap.ma (modified)

	more stuff added