Dear Maude users, The prototype of the strategy language for Maude has been updated to the last version of the language. You can find the prototype and examples, together with some explanations about how to use it, in the following web page: http://maude.sip.ucm.es/~alberto/strategies/index.html Best regards, Alberto Verdejo