| 2009-11-12 | Christian Urban | tuned | file | diff | annotate |
| 2009-11-11 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-11-11 | Christian Urban | tuned | file | diff | annotate |
| 2009-11-10 | Christian Urban | tuned | file | diff | annotate |
| 2009-11-10 | Christian Urban | tuned | file | diff | annotate |
| 2009-11-10 | Christian Urban | added more to the unification section | file | diff | annotate |
| 2009-11-09 | Christian Urban | tuned | file | diff | annotate |
| 2009-11-09 | Christian Urban | tuned | file | diff | annotate |
| 2009-11-09 | Christian Urban | section about matching and unification of types | file | diff | annotate |
| 2009-11-07 | Christian Urban | added a section about unification and matching | file | diff | annotate |
| 2009-11-07 | Christian Urban | added type work and updated to Isabelle and poly 5.3 | file | diff | annotate |
| 2009-11-05 | Christian Urban | tuned | file | diff | annotate |
| 2009-11-01 | Christian Urban | tuned index | file | diff | annotate |
| 2009-10-31 | Christian Urban | new parts in the tactical section | file | diff | annotate |