Added a comment
[homepage.git] / teaching / 0708 / logica / esercitazione1.pdf
2008-04-07 Stefano Zacchiroliupdate today lecture
2008-03-24 Stefano Zacchirolimore exercises on resolution method
2008-03-24 Stefano Zacchiroliwider margins
2008-03-24 Stefano Zacchiroliup to date e typo fixing