| 2010-06-23 | Christian Urban | polished paper again (and took out some claims about Homeier's package) | file | diff | annotate |
| 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 |