| 2011-03-18 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2010-08-22 | Christian Urban | added something about Goal.prove_multi | file | diff | annotate |
| 2010-07-28 | Christian Urban | test | file | diff | annotate |
| 2010-05-29 | Christian Urban | tuned | file | diff | annotate |
| 2010-05-29 | Christian Urban | added example from Tobias and changed the title | file | diff | annotate |