[Maude-help] [Full Maude 2.2] Problem with parameterized view involving 3 parameters

Scott scottxyz at usa.net
Fri Apr 21 10:13:45 CDT 2006


Hello,

Has there been a response to the question I raised below?

http://maude.cs.uiuc.edu/pipermail/maude-help/2006-February/000161.html

Best wishes. 

-- Scott Alexander








More information about the Maude-help mailing list