| Fri, 02 Apr 2010 03:23:25 +0200 | Christian Urban | more on the strong induction section | file | diff | annotate |
| Thu, 01 Apr 2010 06:47:37 +0200 | Christian Urban | last commit for now. | file | diff | annotate |
| Thu, 01 Apr 2010 03:28:28 +0200 | Christian Urban | more on the paper | file | diff | annotate |
| Wed, 31 Mar 2010 12:30:17 +0200 | Cezary Kaliszyk | More on paper | file | diff | annotate |
| Wed, 31 Mar 2010 02:59:18 +0200 | Christian Urban | started with a related work section | file | diff | annotate |
| Tue, 30 Mar 2010 21:15:13 +0200 | Christian Urban | cleaned up the section about fv's | file | diff | annotate |
| Tue, 30 Mar 2010 16:59:00 +0200 | Christian Urban | removed "raw" distinction | file | diff | annotate |