Data.Logic.Harrison.Equal

predicates

function_congruence

predicate_congruence

equivalence_axioms

equalitize

functions'