ProgTutorial/Intro.thy
2010-02-11 Christian Urban typos fixed by Michael Norrish
2010-01-08 Christian Urban polished
2009-11-17 Christian Urban modified the typ-pretty-printer and added parser exercise
2009-11-17 Christian Urban added example by Lukas Bulwahn
2009-10-25 Christian Urban some polishing
2009-10-22 Christian Urban updated to new Isabelle
2009-10-19 Christian Urban completed section on theorems
less more (0) -30 -10 -7 tip