Attic/Quot/quotient_term.ML
changeset 2805 a72a04f3d6bf
parent 2317 7412424213ec