quotient_def.ML
Thu, 03 Dec 2009 12:17:23 +0100 Cezary Kaliszyk Added the definition to quotient constant data.
less more (0) -10 -1 tip