Quot/quotient_typ.ML
Wed, 23 Dec 2009 13:45:42 +0100 Christian Urban renamed QUOT_TYPE to Quot_Type
less more (0) -1 tip