quotient_def.ML
Sun, 06 Dec 2009 06:39:32 +0100 Cezary Kaliszyk Simpler definition code that works with any type maps.
Fri, 04 Dec 2009 21:42:55 +0100 Christian Urban not yet quite functional treatment of constants
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 -4 tip