Quot/quotient_info.ML
Wed, 27 Jan 2010 08:41:42 +0100 Christian Urban use of equiv_relation_chk in quotient_term
Thu, 14 Jan 2010 23:51:17 +0100 Christian Urban trivial
less more (0) -30 -10 -2 tip