Changelog of @hackage/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.