| Fri, 02 Apr 2010 03:23:25 +0200 | Christian Urban | more on the strong induction section | file | diff | annotate |
| Thu, 01 Apr 2010 18:45:50 +0200 | Christian Urban | completed conclusion | file | diff | annotate |
| Thu, 01 Apr 2010 17:56:26 +0200 | Christian Urban | merged | file | diff | annotate |
| Thu, 01 Apr 2010 17:55:46 +0200 | Christian Urban | updated related work section | file | diff | annotate |
| Thu, 01 Apr 2010 17:00:52 +0200 | Cezary Kaliszyk | Update fv_bn definition for bindings allowed in types for which bn is present. | file | diff | annotate |
| Thu, 01 Apr 2010 16:17:56 +0200 | Cezary Kaliszyk | Minor formula fixes. | file | diff | annotate |
| Thu, 01 Apr 2010 16:08:54 +0200 | Christian Urban | fixed alpha_bn | file | diff | annotate |