Quot/quotient_tacs.ML
2010-01-27 Christian Urban some slight tuning
2010-01-26 Cezary Kaliszyk Bex1_Bexeq_regular.
2010-01-26 Cezary Kaliszyk Combined the simpsets in clean_tac and updated the comment. Now cleaning of splits does work.
less more (0) -30 -10 -3 tip