[Maude-users] Is EquationSet < Set{Equation} ?

[Santiago Escobar]

Hi Steven,

Many thanks for the fair explanation.

Maude 2.2 has already many many interesting features and, as you said, 
it is in the To-Do list.

Santiago

-- 
________________________________________________________
  Santiago Escobar
    Dept. of Information Systems and Computation (DSIC)
    Technical University of Valencia (UPV)
    Camino de Vera, 14. E-46022 Valencia (Spain)
   e-mail: sescobar at dsic.upv.es
   URL:    http://www.dsic.upv.es/~sescobar
   Phone:  +34-96-387-7000 (Ext. 73556)
   Fax:    +34-96-387-7359