| 2010-01-27 | Christian Urban | some slight tuning | file | diff | annotate |
| 2010-01-26 | Cezary Kaliszyk | Bex1_Bexeq_regular. | file | diff | annotate |
| 2010-01-26 | Cezary Kaliszyk | Combined the simpsets in clean_tac and updated the comment. Now cleaning of splits does work. | file | diff | annotate |