Attic/Quot/Quotient_Sum.thy
changeset 2643 0579d3a48304
parent 1260 9df6144e281b