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 |