proposition: Lemma lab_rules_enum : forall R, lab_rules (of_list R) [=] of_list (enum R).
proof: Proof. split. apply enum_complete. apply enum_correct. Qed.
imports: CoLoR(ATrs AInterpretation BoolUtil LogicUtil EqUtil VecUtil SN RelUtil AWFMInterpretation NaryFunction NatUtil ARelation ARules SetUtil FunUtil VecMax AMorphism) Coq(List)