| 2009-07-28 | Christian Urban | slightly changed exercises about rev_sum | 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-05-29 | Christian Urban | some slight polishing | file | diff | annotate |
| 2009-05-23 | Christian Urban | added an example | file | diff | annotate |
| 2009-05-09 | Christian Urban | added more to the pretty section and updated the acknowledgements | file | diff | annotate |