| 2012-01-02 | Christian Urban | added definition for generalisation of type schemes (for paper) | file | diff | annotate |
| 2011-12-29 | Christian Urban | made the paper running again | file | diff | annotate |
| 2011-09-22 | Christian Urban | final polishing? | file | diff | annotate |
| 2011-09-21 | Cezary Kaliszyk | spelling | file | diff | annotate |
| 2011-09-21 | Christian Urban | added comments from Andrei | file | diff | annotate |
| 2011-09-21 | Christian Urban | more polishing | file | diff | annotate |
| 2011-09-21 | Christian Urban | added a footnote | file | diff | annotate |
| 2011-09-21 | Christian Urban | some minor polishing | file | diff | annotate |
| 2011-09-21 | Christian Urban | some minor polishing | file | diff | annotate |
| 2011-09-21 | Christian Urban | some polishing | file | diff | annotate |
| 2011-09-21 | Christian Urban | changes | file | diff | annotate |
| 2011-09-21 | Christian Urban | deleted PNil | file | diff | annotate |