2009-08-20 | Christian Urban | polished | file | diff | annotate |
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-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 |