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)
Mon, 07 Nov 2011 13:58:18 +0000 Christian Urban all examples work again after quotient package has been "de-localised"
less more (0) -10 -2 tip