| 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 |