agum-2.1: Unification and Matching in an Abelian Group

Index

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