#
# ChangeLog for src/utilities/Interference.ma
#
# Generated by Trac 1.2
# Apr 22, 2021, 5:13:56 PM

Mon, 29 Aug 2011 13:30:40 GMT mulligan [1127]
	* src/ERTL/spill.ma (added)
	* src/ERTL/uses.ma (added)
	* src/utilities/Interference.ma (added)

	interference graphs axiomatised, more added to ertl