#
# ChangeLog for src/utilities/UnionFind.ma
#
# Generated by Trac 1.2
# Mar 3, 2021, 12:40:48 PM

Fri, 01 Apr 2011 14:09:51 GMT mulligan [733]
	* src/ERTL (added)
	* src/ERTL/Build.ma (added)
	* src/ERTL/ERTL.ma (added)
	* src/ERTL/ERTLToLTL.ma (added)
	* src/ERTL/Liveness.ma (added)
	* src/LIN/JointLTLLIN.ma (added)
	* src/LTL/Branch.ma (added)
	* src/LTL/LTLToLIN.ma (modified)
	* src/LTL/LTLToLINI.ma (deleted)
	* src/utilities/UnionFind.ma (added)

	Fixed partial commit.