Attic/Quot/quotient_info.ML
changeset 2447 76be909eaf04
parent 1438 61671de8a545
equal deleted inserted replaced
2446:63c936b09764 2447:76be909eaf04