Bedre formattering av OO termer

Her er min prelude.maude fil, med (bedre?) formattering av konfigurasjoner. Kun modulen CONFIGURATION (helt nederst i filen) er forandret; format attributter lagt til/forandret.