Quot/quotient_typ.ML
2009-12-12 Christian Urban renamed quotient.ML to quotient_typ.ML
less more (0) tip