#
# ChangeLog for src/utilities/BitVectorTrieMap.ma
#
# Generated by Trac 1.2
# Jan 16, 2021, 8:16:41 PM

Tue, 06 Sep 2011 11:33:21 GMT mulligan [1192]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/utilities/BitVectorTrieMap.ma (added)
	* src/utilities/Colouring.ma (added)
	* src/utilities/Fix.ma (added)
	* src/utilities/Interference.ma (modified)

	some files that were missing / laying dormant on my computer