Changelog for agum-2.1

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.