| Thu, 19 Nov 2009 14:17:10 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 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 |