Attic/Quot/quotient_info.ML
changeset 1892 4df853f5879f
parent 1438 61671de8a545
equal deleted inserted replaced
1889:6c5b5ec53a0b 1892:4df853f5879f