progtutorial.pdf
2009-07-27 Christian Urban polished the section on conversions
2009-07-26 Christian Urban slight change
2009-07-26 Christian Urban adapted to changes in Isabelle
less more (0) -30 -10 -3 tip