2009-11-20 | Christian Urban | started regularize of rtrm/qtrm version; looks quite promising | file | diff | annotate |
2009-11-19 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2009-11-13 | Christian Urban | added some tracing information to all phases of lifting to the function lift_thm | file | diff | annotate |