Quot/quotient_def.ML
changeset 684 88094aa77026
parent 670 178acdd3a64c
child 705 f51c6069cd17
equal deleted inserted replaced
683:0d9e8aa1bc7a 684:88094aa77026