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

[Santiago Escobar]

Hi,

I have a question about Maude version 2.2.

Old sorts like NatList, QidList, and QidSet are indeed renamings for the 
new List{Nat}, List{Qid} and Set{Qid}.
However, the sorts in the meta-level modules have not been renamed to 
new sorts and I wonder why.
That is, sorts  EquationSet, SortSet, or TypeList in META-TERM are not 
renamings of Set{Equation}, Set{Sort} and List{Term}.

Is there any reason for this?
Because now operators such as "_in_" or "_occurs_" cannot be reused for 
EquationSet or TypeList and have to be typed again.

This seems very strange, since Full Maude version 2.1.1 already included 
sorts Set<Equation>, Set<Sort> and List<Type>.
Well, their extended versions Set<EEquation>, Set<ESort> and List<EType>.

Many thanks,
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