Attic/Quot/quotient_info.ML
changeset 1461 c79bcbe1983d
parent 1438 61671de8a545
equal deleted inserted replaced
1460:0fd03936dedb 1461:c79bcbe1983d