| 2010-04-26 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2010-03-07 | Christian Urban | updated to new isabelle | file | diff | annotate |
| 2010-02-05 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-12-31 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-12-06 | Christian Urban | polised | file | diff | annotate |
| 2009-12-04 | Christian Urban | polised the section about Subgoal.FOCUS | file | diff | annotate |
| 2009-12-03 | Christian Urban | tuned | file | diff | annotate |
| 2009-12-02 | Christian Urban | tunded | file | diff | annotate |