| 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 |
| Thu, 15 Apr 2010 21:56:03 +0200 | Christian Urban | some tuning of proofs | file | diff | annotate |
| Wed, 14 Apr 2010 08:42:38 +0200 | Cezary Kaliszyk | merge | file | diff | annotate |
| Wed, 14 Apr 2010 08:36:54 +0200 | Cezary Kaliszyk | merge part: delete_rsp | file | diff | annotate |
| Wed, 14 Apr 2010 08:35:31 +0200 | Cezary Kaliszyk | merge part1: none_memb_nil | file | diff | annotate |
| Wed, 14 Apr 2010 08:16:54 +0200 | Christian Urban | added header and more tuning | file | diff | annotate |