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 |
2009-11-12 | Cezary Kaliszyk | merge of the merge? | file | diff | annotate |
2009-11-12 | Cezary Kaliszyk | merged | file | diff | annotate |
2009-11-12 | Christian Urban | added a FIXME commment | file | diff | annotate |
2009-11-12 | Christian Urban | looking up data in quot_info works now (needs qualified string) | file | diff | annotate |
2009-11-12 | Christian Urban | changed the quotdata to be a symtab table (needs fixing) | file | diff | annotate |