Quot/quotient_tacs.ML
Wed, 10 Feb 2010 11:53:15 +0100 Cezary Kaliszyk Finishe the renaming.
Wed, 10 Feb 2010 11:09:30 +0100 Cezary Kaliszyk more minor space and bracket modifications.
less more (0) -30 -10 -2 tip