| Tue, 26 Jan 2010 01:00:35 +0100 | Christian Urban | added prs and rsp lemmas for Inl and Inr | file | diff | annotate |
| Tue, 26 Jan 2010 08:55:55 +0100 | Cezary Kaliszyk | continued | file | diff | annotate |
| Mon, 25 Jan 2010 20:35:42 +0100 | Christian Urban | re-inserted lemma in QuotList | file | diff | annotate |