| 2011-11-17 | Christian Urban | tuned | file | diff | annotate |
| 2011-11-06 | Christian Urban | a section about theories and setups | file | diff | annotate |
| 2011-11-05 | Christian Urban | added section about testboard | file | diff | annotate |
| 2011-06-21 | Christian Urban | added an excercise originally by Jasmin Blanchette | file | diff | annotate |
| 2011-06-17 | Christian Urban | a little polishing | file | diff | annotate |
| 2011-05-17 | Christian Urban | updated to new Isabelle | file | diff | annotate |