progtutorial.pdf
2009-03-31 Christian Urban added a declaration section (for Amine)
2009-03-31 Christian Urban more work on the inductive package
less more (0) -10 -2 tip