Attic/Quot/quotient_info.ML
changeset 2508 6d9018d62b40
parent 1438 61671de8a545
equal deleted inserted replaced
2507:f5621efe5a20 2508:6d9018d62b40