Quot/quotient_info.ML
2009-12-09 Cezary Kaliszyk Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants.
2009-12-08 Christian Urban properly set up the prs_rules
less more (0) -2 tip