fact: Definition mytau f (r : relation term) : relation terms := match status f with | lexicographic => lex r | multiset => mult (transp r) end.
imports: CoLoR(VPrecedence MultisetListOrder ListLex VRPO_Type VTerm ListUtil AccUtil LogicUtil) Coq(Relations)