Quot/quotient_info.ML
changeset 823 ae3ed7a68e80
parent 805 d193e2111811
child 835 c4fa87dd0208
equal deleted inserted replaced
822:5527430f9b6f 823:ae3ed7a68e80