progtutorial.pdf
2009-10-29 Christian Urban tuned
2009-10-29 Christian Urban added something about manual instantiations of theorems
2009-10-27 Christian Urban tuned
less more (0) -100 -30 -10 -3 tip