quotient_def.ML
Fri, 04 Dec 2009 15:19:39 +0100 Christian Urban merge
Thu, 03 Dec 2009 12:17:23 +0100 Cezary Kaliszyk Added the definition to quotient constant data.
less more (0) -10 -2 tip