Attic/Quot/quotient_typ.ML
changeset 2186 762a739c9eb4
parent 1460 0fd03936dedb
equal deleted inserted replaced
2185:1cf20169660c 2186:762a739c9eb4