Quot/Quotients.thy
changeset 639 820c64273ce0
parent 613 018aabbffd08