| 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 |