fact: Definition reverse_term (t : term) := ATerm_of_String.term_of_string (ListUtil.rev' (string_of_term t)).
imports: CoLoR(Srs ATrs SReverse ATerm_of_String String_of_ATerm AUnary SN LogicUtil AMorphism EqUtil NatUtil ListUtil VecUtil)