quotient_def.ML
2009-12-06 Cezary Kaliszyk Simpler definition code that works with any type maps.
2009-12-04 Christian Urban not yet quite functional treatment of constants
2009-12-04 Christian Urban merge
2009-12-03 Cezary Kaliszyk Added the definition to quotient constant data.
less more (0) -10 -4 tip