progtutorial.pdf
2010-04-26 Christian Urban updated to new Isabelle
2010-04-24 Christian Urban added a section to the introduction; described @{make_string}
2010-04-07 Christian Urban added something about ERROR and Fail
2010-04-07 Christian Urban updated to new Isabelle
2010-03-07 Christian Urban updated to new isabelle
2010-02-11 Christian Urban typos fixed by Michael Norrish
2010-02-05 Christian Urban updated to new Isabelle
2010-01-14 Christian Urban a bit more tuning
less more (0) -100 -30 -10 -8 tip