Quot/Quotients.thy
changeset 661 a0f50b34765c
parent 613 018aabbffd08