Attic/Quot/quotient_typ.ML
changeset 2792 c4ed08a7454a
parent 1460 0fd03936dedb