homo-nsl.maude 2.79 KB