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.
less more (0) -10 -2 tip