Attic/Quot/Quotient.thy
changeset 2361 d73d4d151cce
parent 1460 0fd03936dedb