agum-2.2: 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
intLinEqAlgebra.AbelianGroup.IntLinEq
isVarAlgebra.AbelianGroup.UnificationMatching
LinEqAlgebra.AbelianGroup.IntLinEq
mapletsAlgebra.AbelianGroup.UnificationMatching
matchAlgebra.AbelianGroup.UnificationMatching
mulAlgebra.AbelianGroup.UnificationMatching
SubstAlgebra.AbelianGroup.IntLinEq
substAlgebra.AbelianGroup.UnificationMatching
SubstitutionAlgebra.AbelianGroup.UnificationMatching
TermAlgebra.AbelianGroup.UnificationMatching
unifyAlgebra.AbelianGroup.UnificationMatching
varAlgebra.AbelianGroup.UnificationMatching