Quot/Quotients.thy
changeset 674 bb276771d85c
parent 613 018aabbffd08