Attic/Quot/Quotient_List.thy
changeset 1691 b497ac81aead
parent 1260 9df6144e281b