Quot/quotient_def.ML
2009-12-11 Cezary Kaliszyk Renaming
2009-12-11 Cezary Kaliszyk Updated comments.
2009-12-11 Cezary Kaliszyk New syntax for definitions.
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