progtutorial.pdf
2009-03-31 Christian Urban more work on the inductive package
2009-03-30 Christian Urban updated to latest Isabelle
2009-03-30 Christian Urban some polishing
less more (0) -10 -3 tip