| Mon, 19 Apr 2010 11:55:12 +0200 | Cezary Kaliszyk | Getting rid of 'metis'. | file | diff | annotate |
| Mon, 19 Apr 2010 11:32:33 +0200 | Cezary Kaliszyk | Remove 'defer'. | file | diff | annotate |
| Mon, 19 Apr 2010 11:04:31 +0200 | Cezary Kaliszyk | 2 more lifted lemmas needed for second representation | file | diff | annotate |