QuotMain.thy
2009-11-23 Cezary Kaliszyk Fixes for atomize
2009-11-23 Christian Urban slight change in code layout
2009-11-23 Cezary Kaliszyk Removing dead code
2009-11-23 Cezary Kaliszyk Move atomize_goal to QuotMain
2009-11-23 Cezary Kaliszyk Moved new repabs_inj code to QuotMain
2009-11-23 Christian Urban code review with Cezary
2009-11-21 Christian Urban a little tuning of comments
2009-11-21 Christian Urban my first version of repabs injection
2009-11-21 Christian Urban tuned
2009-11-21 Christian Urban tuned
2009-11-21 Christian Urban simplified get_fun so that it uses directly rty and qty, instead of qenv
2009-11-20 Christian Urban started regularize of rtrm/qtrm version; looks quite promising
2009-11-19 Christian Urban updated to new Isabelle
2009-11-13 Christian Urban added some tracing information to all phases of lifting to the function lift_thm
2009-11-12 Cezary Kaliszyk merged
less more (0) -100 -15 tip