| Mon, 19 Apr 2010 15:54:55 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 19 Apr 2010 15:54:38 +0200 | Cezary Kaliszyk | Putting FSet in bot typeclass. | changeset | files |
| Mon, 19 Apr 2010 15:33:19 +0200 | Cezary Kaliszyk | reorder | changeset | files |
| Mon, 19 Apr 2010 15:37:54 +0200 | Christian Urban | merged | changeset | files |
| Mon, 19 Apr 2010 15:37:33 +0200 | Christian Urban | small updates to the paper; remaining points in PAPER-TODO | changeset | files |
| Mon, 19 Apr 2010 15:28:57 +0200 | Cezary Kaliszyk | sub_list definition and respects | changeset | files |
| Mon, 19 Apr 2010 15:08:29 +0200 | Cezary Kaliszyk | Alternate list_eq and equivalence | changeset | files |
| Mon, 19 Apr 2010 14:08:01 +0200 | Cezary Kaliszyk | Some new lemmas | changeset | files |
| Mon, 19 Apr 2010 13:58:10 +0200 | Cezary Kaliszyk | More cleaning | changeset | files |
| Mon, 19 Apr 2010 12:28:48 +0200 | Cezary Kaliszyk | remove more metis | changeset | files |
| Mon, 19 Apr 2010 12:20:18 +0200 | Cezary Kaliszyk | more metis cleaning | changeset | files |
| Mon, 19 Apr 2010 11:55:12 +0200 | Cezary Kaliszyk | Getting rid of 'metis'. | changeset | files |
| Mon, 19 Apr 2010 11:38:43 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 19 Apr 2010 11:32:33 +0200 | Cezary Kaliszyk | Remove 'defer'. | changeset | files |
| Mon, 19 Apr 2010 09:27:53 +0200 | Christian Urban | merged | changeset | files |
| Mon, 19 Apr 2010 09:25:31 +0200 | Christian Urban | tuned proofs | changeset | files |