Attic/Quot/Quotient.thy
changeset 1798 d8bd4923b3aa
parent 1460 0fd03936dedb