Quot/QuotOption.thy
2009-12-10 Cezary Kaliszyk Option and Sum quotients.
less more (0) tip