Quot/Quotient.thy
changeset 1181 788a59d2d7aa
parent 1148 389d81959922