Nominal/nominal_dt_quot.ML
Wed, 30 Nov 2011 13:56:21 +0000 Christian Urban updated to changes in the quotient package (patch by Ondrej Kuncar)
less more (0) -10 -1 tip