Quot/Quotient.thy
changeset 1135 dd4d05587bd0
parent 1129 9a86f0ef6503
child 1137 36d596cb63a2