| 2009-07-21 | griff | merged | file | diff | annotate |
| 2009-07-21 | griff | modified solution(s) for "revsum" example | file | diff | annotate |
| 2009-07-21 | griff | included an alternative solution for the "rev_sum" example as a comment | file | diff | annotate |
| 2009-07-21 | griff | show the type of "x" in the formula | file | diff | annotate |
| 2009-07-21 | griff | discussion of "const_name" before exercises | file | diff | annotate |
| 2009-07-21 | griff | if n would be 0, rev_sum would be missing an argument | file | diff | annotate |
| 2009-07-21 | Christian Urban | tuned | file | diff | annotate |
| 2009-07-20 | Christian Urban | small changes for latest changes in Isabelle | file | diff | annotate |
| 2009-07-14 | Christian Urban | minor tuning | file | diff | annotate |
| 2009-07-13 | Christian Urban | added section about code maintenance and added an example for antiquotations | file | diff | annotate |
| 2009-06-24 | Christian Urban | adapted to changes in Isabelle | file | diff | annotate |
| 2009-06-23 | Christian Urban | updated to new Isabelle | file | diff | annotate |