/users/mdstud/malo/labb_predikatlogik
Ni har gott om tid på er: sista inlämningsdag är 21 december. Och ni får 1 bonuspoäng för godkänt på tentan. När ni är färdiga så skickar ni e-post med era namn och vad filen heter till malo, så kommer Anders Claesson att kolla att ni verkligen inte har några ? kvar!
Mer informationen får ni vid den första handledda laborationen, som är tisdagen 30 november kl 8.00.
Lycka till!
--Jan
PS. Alfa startas med kommandot alfa - -norec . Och en härledning startas alltid med att man väljer ND Style Proof i menyn.