| Tue, 27 Apr 2010 12:23:06 +0200 | Christian Urban | more polishing on the paper | file | diff | annotate |
| Mon, 26 Apr 2010 20:17:41 +0200 | Christian Urban | some changes to the paper | file | diff | annotate |
| Wed, 21 Apr 2010 17:42:57 +0200 | Christian Urban | some small changes | file | diff | annotate |
| Mon, 19 Apr 2010 15:37:33 +0200 | Christian Urban | small updates to the paper; remaining points in PAPER-TODO | file | diff | annotate |
| Thu, 15 Apr 2010 16:01:28 +0200 | Christian Urban | typo | file | diff | annotate |
| Thu, 15 Apr 2010 11:05:54 +0200 | Cezary Kaliszyk | Minor paper fixes. | file | diff | annotate |
| Fri, 09 Apr 2010 11:08:05 +0200 | Christian Urban | renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper | file | diff | annotate |
| Thu, 08 Apr 2010 14:18:38 +0200 | Christian Urban | clarified comment about distinct lists in th efuture work section | file | diff | annotate |
| Tue, 06 Apr 2010 07:36:15 +0200 | Christian Urban | typos in paper | file | diff | annotate |
| Fri, 02 Apr 2010 15:28:55 +0200 | Christian Urban | submitted version (just in time ;o) | file | diff | annotate |
| Fri, 02 Apr 2010 13:12:10 +0200 | Christian Urban | first complete version (slightly less than 3h more to go) | file | diff | annotate |
| Fri, 02 Apr 2010 07:59:03 +0200 | Christian Urban | tuned | file | diff | annotate |
| Fri, 02 Apr 2010 07:43:22 +0200 | Christian Urban | tuned strong ind section | file | diff | annotate |
| Fri, 02 Apr 2010 07:30:25 +0200 | Christian Urban | polished infrastruct section | file | diff | annotate |
| Fri, 02 Apr 2010 06:45:50 +0200 | Christian Urban | completed lifting section | file | diff | annotate |