Bedre formattering av OO termer_澳门皇冠体育,皇冠足球比分

peterol
2023-03-21T11:32:32.202Z
type:structured-message
www.uio.no

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.