ProgTutorial/FirstSteps.thy
2009-08-02 Christian Urban updated to Isabelle changes and merged sections in the FirstSteps chapter
2009-08-01 Christian Urban some general polishing
2009-07-28 Christian Urban slightly changed exercises about rev_sum
2009-07-28 Christian Urban added more to the ML-antiquotation section
2009-07-26 Christian Urban slight change
2009-07-22 griff typo
2009-07-22 griff typo
2009-07-22 griff typo
2009-07-22 griff spell checked
2009-07-22 griff reformulation
2009-07-21 Christian Urban merged
2009-07-21 griff label for exercise
2009-07-21 griff show type of "x"
2009-07-21 griff still merging
2009-07-21 griff modified solution(s) for "revsum" example
less more (0) -15 tip