Quot/quotient_tacs.ML
Wed, 10 Feb 2010 11:09:30 +0100 Cezary Kaliszyk more minor space and bracket modifications.
Wed, 10 Feb 2010 10:55:14 +0100 Cezary Kaliszyk More changes according to the standards.
Tue, 09 Feb 2010 16:10:08 +0100 Cezary Kaliszyk removing unnecessary brackets
Mon, 08 Feb 2010 11:56:22 +0100 Christian Urban slightly tuned
less more (0) -30 -10 -4 tip