term-order.maude 1.58 KB