2009-12-02 | Cezary Kaliszyk | Added tactic for dealing with QUOT_TRUE and introducing QUOT_TRUE. | file | diff | annotate |
2009-12-01 | Cezary Kaliszyk | back in working state | file | diff | annotate |
2009-12-01 | Cezary Kaliszyk | clean | file | diff | annotate |
2009-12-01 | Christian Urban | fixed previous commit | file | diff | annotate |
2009-12-01 | Christian Urban | fixed problems with FOCUS | file | diff | annotate |
2009-12-01 | Christian Urban | added a make_inst test | file | diff | annotate |
2009-12-01 | Cezary Kaliszyk | Transformation of QUOT_TRUE assumption by any given function | file | diff | annotate |