| 2010-06-10 | Christian Urban | adapted to the official sigplan style file (this gives us more space) | file | diff | annotate |
| 2010-06-07 | Christian Urban | new title for POPL paper | file | diff | annotate |
| 2010-04-27 | Christian Urban | merged | file | diff | annotate |
| 2010-04-02 | Christian Urban | more on the strong induction section | file | diff | annotate |
| 2010-04-01 | Christian Urban | current state | file | diff | annotate |
| 2010-04-01 | Christian Urban | added alpha_bn definition | file | diff | annotate |