| Wed, 30 Jun 2010 16:56:37 +0100 | Christian Urban | more work on the paper | file | diff | annotate |
| Thu, 10 Jun 2010 13:28:38 +0200 | Christian Urban | added to the popl-paper a pointer to work by Altenkirch | file | diff | annotate |
| 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 |
| Mon, 29 Mar 2010 00:30:20 +0200 | Christian Urban | more on the paper | file | diff | annotate |
| Tue, 23 Mar 2010 17:22:19 +0100 | Christian Urban | more tuning in the paper | file | diff | annotate |
| Tue, 23 Mar 2010 11:52:55 +0100 | Christian Urban | more on the paper | file | diff | annotate |
| Tue, 23 Mar 2010 10:24:12 +0100 | Christian Urban | tuned paper | file | diff | annotate |
| Mon, 22 Mar 2010 16:22:07 +0100 | Christian Urban | tuned paper | file | diff | annotate |
| Fri, 19 Mar 2010 17:20:25 +0100 | Christian Urban | picture | file | diff | annotate |
| Fri, 19 Mar 2010 09:40:34 +0100 | Christian Urban | more tuning on the paper | file | diff | annotate |
| Thu, 18 Mar 2010 23:39:26 +0100 | Christian Urban | more tuning on the paper | file | diff | annotate |
| Thu, 18 Mar 2010 22:06:28 +0100 | Christian Urban | tuned | file | diff | annotate |
| Thu, 18 Mar 2010 16:22:10 +0100 | Christian Urban | corrected the strong induction principle in the lambda-calculus case; gave a second (oartial) version that is more elegant | file | diff | annotate |
| Thu, 18 Mar 2010 11:33:37 +0100 | Christian Urban | slightly more in the paper | file | diff | annotate |
| Thu, 18 Mar 2010 00:17:21 +0100 | Christian Urban | slightly more of the paper | file | diff | annotate |