Quot/quotient_tacs.ML
Tue, 26 Jan 2010 13:38:42 +0100 Cezary Kaliszyk Combined the simpsets in clean_tac and updated the comment. Now cleaning of splits does work.
less more (0) -30 -10 -1 tip