Mer leselig output av OO tilstander

Jeg har lagt p? noen "format" attributter slik at OO termer n? forh?pentligvis er mye mer leselige.  Her er min modifiserte full-maude.maude fil for Maude 2.7.1.  Bare bruk denne i stedet for den gamle full-maude.maude filen (for eksempel, putt den i omr?det hvor dine maude-programmer holder til).  Det som er forandret er at noen format attributter er lagt til modulen CONFIGURATION som begynner p? linje 346 i filen.  Hvis du vil ha en annen formattering av OO termer, s? kan du bare modifisere disse format-attributtene.