Attic/Quot/quotient_term.ML
changeset 2332 9a560e489c64
parent 2317 7412424213ec