Quot/quotient_def.ML
Wed, 13 Jan 2010 16:14:02 +0100 Cezary Kaliszyk Better error message for definition failure.
Wed, 13 Jan 2010 15:17:36 +0100 Cezary Kaliszyk Stored Termtab for constant information.
Wed, 13 Jan 2010 09:41:57 +0100 Christian Urban tuned
less more (0) -10 -3 tip