progtutorial.pdf
Mon, 03 Aug 2009 16:47:01 +0200 Christian Urban tuned
Mon, 03 Aug 2009 14:01:57 +0200 Christian Urban replaced "writeln" with "tracing"
Sun, 02 Aug 2009 08:44:41 +0200 Christian Urban updated to Isabelle changes and merged sections in the FirstSteps chapter
Sat, 01 Aug 2009 08:59:41 +0200 Christian Urban some general polishing
Thu, 30 Jul 2009 16:02:26 +0200 Christian Urban tuned figure placement
Thu, 30 Jul 2009 15:51:51 +0200 Christian Urban polished the package chapter used FOCUS to explain the subproofs
less more (0) -30 -10 -6 tip