Quot/quotient_info.ML
2010-01-27 Christian Urban use of equiv_relation_chk in quotient_term
2010-01-14 Christian Urban trivial
2010-01-14 Cezary Kaliszyk Simplified matches_typ.
less more (0) -30 -10 -3 tip