| Fri, 13 Nov 2009 16:44:36 +0100 | Christian Urban | added some tracing information to all phases of lifting to the function lift_thm | file | diff | annotate |
| Thu, 12 Nov 2009 13:57:20 +0100 | Cezary Kaliszyk | merge of the merge? | file | diff | annotate |
| Thu, 12 Nov 2009 13:56:07 +0100 | Cezary Kaliszyk | merged | file | diff | annotate |
| Thu, 12 Nov 2009 12:15:41 +0100 | Christian Urban | added a FIXME commment | file | diff | annotate |