Attic/Quot/quotient_typ.ML
changeset 1592 b679900fa5f6
parent 1460 0fd03936dedb
equal deleted inserted replaced
1591:2f1b00d83925 1592:b679900fa5f6