| 2009-08-19 | Christian Urban | polished the exercises about constructing terms | file | diff | annotate |
| 2009-08-18 | Christian Urban | added exercise | file | diff | annotate |
| 2009-08-17 | Christian Urban | polished | file | diff | annotate |
| 2009-08-17 | Christian Urban | added some rudimentary inrastructure for producing the ML-code | file | diff | annotate |
| 2009-08-16 | Christian Urban | tuned | file | diff | annotate |
| 2009-08-16 | Christian Urban | improvements from the workshop | file | diff | annotate |
| 2009-08-13 | Christian Urban | suggestions by Peter Homeier | file | diff | annotate |
| 2009-08-05 | Christian Urban | tuned the section about printing several bits of inormation | file | diff | annotate |