| 2009-03-11 | Christian Urban | added temporarily some timing test about conversions and simprocs | file | diff | annotate |
| 2009-03-06 | Christian Urban | some additions to the simplifier section and general tuning | file | diff | annotate |
| 2009-03-03 | Christian Urban | polished | file | diff | annotate |
| 2009-02-28 | Christian Urban | general polishing; added versioning to the document | file | diff | annotate |
| 2009-02-27 | Christian Urban | added more material to the attribute section; merged the recipe about named theorems into the main body; added a solution to an exercise in the conversion section | file | diff | annotate |
| 2009-02-24 | Christian Urban | new pfd file | file | diff | annotate |