Quot/quotient_def.ML
changeset 697 57944c1ef728
parent 670 178acdd3a64c
child 705 f51c6069cd17
equal deleted inserted replaced
696:fd718dde1d61 697:57944c1ef728