Quot/quotient_tacs.ML
2010-02-09 Cezary Kaliszyk removing unnecessary brackets
less more (0) -30 -10 -1 tip