#
# ChangeLog for src/utilities/listb.ma
#
# Generated by Trac 1.2
# Mar 9, 2021, 11:54:38 AM

Fri, 31 Aug 2012 14:12:35 GMT campbell [2314]
	* src/ASM/Util.ma (modified)
	* src/RTLabs/CostCheck.ma (modified)
	* src/RTLabs/Traces.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/utilities/bool.ma (added)
	* src/utilities/listb.ma (added)
	* src/utilities/lists.ma (modified)

	Move generic definitions from recent commit to appropriate places.