Quot/quotient_info.ML
changeset 735 214b8c35b244
parent 699 aa157e957655
child 751 670131bcba4a