agum-2.1: ChangeLog

2009-09-05  John D. Ramsdell  <ramsdell@mitre.org>

	* src/Algebra/AbelianGroup/UnificationMatching.hs:  Added
	reference to Andrew Kennedy's Ph.D. thesis as in contains a proof
	of correctness of the implemented matching algorithm.

2009-08-29  John D. Ramsdell  <ramsdell@mitre.org>

	* src/Algebra/AbelianGroup/UnificationMatching.hs (Substitution,
	apply): Hid the representation of a substitution and supplied a
	function for applying a substitution to a term.

	* agum.cabal (Version): Released as version 2.0.