xor-nsl.maude 3.8 KB