ProgTutorial/FirstSteps.thy
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
2009-07-21 griff show the type of "x" in the formula
2009-07-21 griff discussion of "const_name" before exercises
2009-07-21 griff if n would be 0, rev_sum would be missing an argument
2009-07-21 Christian Urban tuned
2009-07-20 Christian Urban small changes for latest changes in Isabelle
2009-07-14 Christian Urban minor tuning
2009-07-13 Christian Urban added section about code maintenance and added an example for antiquotations
2009-06-24 Christian Urban adapted to changes in Isabelle
2009-06-23 Christian Urban updated to new Isabelle
2009-06-05 Christian Urban updated to lates Isabelle changes
less more (0) -15 tip