| 2009-11-24 | Christian Urban | added a prepare_tac | file | diff | annotate |
| 2009-11-24 | Cezary Kaliszyk | Moved cleaning to QuotMain | file | diff | annotate |
| 2009-11-24 | Cezary Kaliszyk | New cleaning tactic | file | diff | annotate |
| 2009-11-24 | Christian Urban | explicit phases for the cleaning | file | diff | annotate |
| 2009-11-24 | Christian Urban | addded a tactic, which sets up the three goals of the `algorithm' | file | diff | annotate |
| 2009-11-23 | Cezary Kaliszyk | Finished temporary goal-directed lift_theorem wrapper. | file | diff | annotate |
| 2009-11-23 | Cezary Kaliszyk | Fixes for atomize | file | diff | annotate |
| 2009-11-23 | Cezary Kaliszyk | lift_thm with a goal. | file | diff | annotate |
| 2009-11-23 | Cezary Kaliszyk | Fixes for new code | file | diff | annotate |
| 2009-11-23 | Cezary Kaliszyk | Moved new repabs_inj code to QuotMain | file | diff | annotate |
| 2009-11-23 | Cezary Kaliszyk | New repabs behaves the same way as old one. | file | diff | annotate |
| 2009-11-23 | Christian Urban | code review with Cezary | file | diff | annotate |