Quot/quotient_def.ML
2009-12-09 Christian Urban fixed minor stupidity
2009-12-09 Cezary Kaliszyk Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants.
2009-12-07 Christian Urban final move
less more (0) tip