| Fri, 13 Nov 2009 19:32:12 +0100 | Cezary Kaliszyk | Still don't know how to do the proof automatically. | file | diff | annotate |
| Sat, 31 Oct 2009 11:20:55 +0100 | Cezary Kaliszyk | Automatic computation of application preservation and manually finished "alpha.induct". Slow... | file | diff | annotate |