linear.maude 3.46 KB