fact: Definition beq_rule (a b : rule) : bool := beq_term (lhs a) (lhs b) && beq_term (rhs a) (rhs b).
imports: CoLoR(ARelation ListNodup LogicUtil VecUtil RelUtil ListUtil SN BoolUtil EqUtil NatUtil ListMax VecOrd) Coq(Morphisms)