| Fri, 20 Nov 2009 13:03:01 +0100 | Christian Urban | started regularize of rtrm/qtrm version; looks quite promising | file | diff | annotate |
| 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 |
| Thu, 12 Nov 2009 12:15:41 +0100 | Christian Urban | added a FIXME commment | file | diff | annotate |
| Thu, 12 Nov 2009 12:07:33 +0100 | Christian Urban | looking up data in quot_info works now (needs qualified string) | file | diff | annotate |