| 2010-04-19 | Cezary Kaliszyk | 2 more lifted lemmas needed for second representation | file | diff | annotate |
| 2010-04-15 | Christian Urban | some tuning of proofs | file | diff | annotate |
| 2010-04-14 | Cezary Kaliszyk | merge | file | diff | annotate |
| 2010-04-14 | Cezary Kaliszyk | merge part: delete_rsp | file | diff | annotate |