agum-1.0: Unification and Matching in an Abelian Group

Index

addAlgebra.AbelianGroup.UnificationMatching
assocsAlgebra.AbelianGroup.UnificationMatching
Equation 
1 (Type/Class)Algebra.AbelianGroup.UnificationMatching
2 (Data Constructor)Algebra.AbelianGroup.UnificationMatching
ideAlgebra.AbelianGroup.UnificationMatching
isVarAlgebra.AbelianGroup.UnificationMatching
Maplet 
1 (Type/Class)Algebra.AbelianGroup.UnificationMatching
2 (Data Constructor)Algebra.AbelianGroup.UnificationMatching
matchAlgebra.AbelianGroup.UnificationMatching
mulAlgebra.AbelianGroup.UnificationMatching
TermAlgebra.AbelianGroup.UnificationMatching
unifyAlgebra.AbelianGroup.UnificationMatching
varAlgebra.AbelianGroup.UnificationMatching