| 2012-01-09 | Christian Urban | added the simple fixes for the paper | file | diff | annotate |
| 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 |