| 2010-06-15 | Christian Urban | finished preliminary section | file | diff | annotate |
| 2010-06-14 | Christian Urban | completed proof and started section about respectfulness and preservation | file | diff | annotate |
| 2010-06-13 | Christian Urban | more on the qpaper | file | diff | annotate |
| 2010-06-13 | Christian Urban | something about the quotient ype definitions | file | diff | annotate |
| 2010-06-13 | Christian Urban | polishing of ABS/REP | file | diff | annotate |
| 2010-06-12 | Christian Urban | some slight tuning of the intro | file | diff | annotate |
| 2010-06-12 | Christian Urban | completed the intro (except minor things) | file | diff | annotate |