Quot/quotient_term.ML
2010-02-01 Christian Urban slight tuning
2010-02-01 Christian Urban renamed function according to the name of the constant
2010-01-28 Cezary Kaliszyk End of renaming.
less more (0) -30 -10 -3 tip