| Sat, 24 Oct 2009 14:00:18 +0200 | Cezary Kaliszyk | Finally completely lift the previously lifted theorems + clean some old stuff | file | diff | annotate |
| Sat, 24 Oct 2009 13:00:54 +0200 | Cezary Kaliszyk | More infrastructure for automatic lifting of theorems lifted before | file | diff | annotate |
| Sat, 24 Oct 2009 10:16:53 +0200 | Cezary Kaliszyk | More infrastructure for automatic lifting of theorems lifted before | file | diff | annotate |
| Sat, 24 Oct 2009 08:24:26 +0200 | cek | Cleaning the mess | file | diff | annotate |