Quot/quotient_typ.ML
2010-02-17 Cezary Kaliszyk indent
less more (0) -30 -10 -1 tip