Oblig 3 ute. Frist 8/11, men b?r l?ses lenge f?r det

Oblig 3 har allerede v?rt presentert p? forelesning. Her er "teksten".  Her er filen borneo-public.maude med syntaksen til borneo og en masse borneo-testprogrammer. Man kan ogs? bli inspirert av Maude-semantikken til det ber?mte/beryktede spr?ket bali, som er her: bali-public.maude