Attic/Quot/quotient_typ.ML
changeset 1873 a08eaea622d1
parent 1460 0fd03936dedb
equal deleted inserted replaced
1866:6d4e4bf9bce6 1873:a08eaea622d1