Quot/quotient_info.ML
changeset 802 27a643e00675
parent 799 0755f8fd56b3
child 805 d193e2111811
equal deleted inserted replaced
801:282fe9cc278e 802:27a643e00675