Quot/quotient_info.ML
2010-02-09 Cezary Kaliszyk 'exc' -> 'exn' and more name and space cleaning.
2010-02-09 Cezary Kaliszyk More indentation, names and todo cleaning in the quotient package
less more (0) -30 -10 -2 tip