Attic/Quot/quotient_typ.ML
changeset 2325 29532d69111c
parent 1460 0fd03936dedb
equal deleted inserted replaced
2282:fab7f09dda22 2325:29532d69111c