smt.maude 4.74 KB