Contents
Index
agum-2.5: Unification and Matching in an Abelian Group
Index
add
Algebra.AbelianGroup.UnificationMatching
apply
Algebra.AbelianGroup.UnificationMatching
assocs
Algebra.AbelianGroup.UnificationMatching
Equation
1 (Type/Class)
Algebra.AbelianGroup.UnificationMatching
2 (Data Constructor)
Algebra.AbelianGroup.UnificationMatching
ide
Algebra.AbelianGroup.UnificationMatching
intLinEq
Algebra.AbelianGroup.IntLinEq
isVar
Algebra.AbelianGroup.UnificationMatching
LinEq
Algebra.AbelianGroup.IntLinEq
maplets
Algebra.AbelianGroup.UnificationMatching
match
Algebra.AbelianGroup.UnificationMatching
mul
Algebra.AbelianGroup.UnificationMatching
Subst
Algebra.AbelianGroup.IntLinEq
subst
Algebra.AbelianGroup.UnificationMatching
Substitution
Algebra.AbelianGroup.UnificationMatching
Term
Algebra.AbelianGroup.UnificationMatching
unify
Algebra.AbelianGroup.UnificationMatching
var
Algebra.AbelianGroup.UnificationMatching