Obligatorisk oppgave 3 ute. Frist 5.5, men b?r l?ses lenge f?r det

Obligatorisk oppgave 3 er endelig ute.  Frist 5.5, og pga at den m? rettes, lister m? leveres inn, osv., s? blir det ikke lett ? gi betydelige utsettelser, s? det er bare ? sette i gang med ¨¦n gang.  Bruk gjerne/helst Maude 3.3 i stedet for Full Maude (selv om bruk av Full Maude ogs? er greit).