2009-12-08 | Christian Urban | implemented cleaning strategy with fun_map.simps on non-bounded variables; still a few rough edges | file | diff | annotate |
2009-12-08 | Christian Urban | decoupled QuotProd from QuotMain and also started new cleaning strategy | file | diff | annotate |
2009-12-08 | Christian Urban | proper formulation of all preservation theorems | file | diff | annotate |
2009-12-08 | Christian Urban | chnaged syntax to "lifting theorem" | file | diff | annotate |
2009-12-08 | Christian Urban | changed names of attributes | file | diff | annotate |
2009-12-08 | Christian Urban | added methods for the lifting_tac and the other tacs | file | diff | annotate |