Quot/quotient_typ.ML
changeset 1154 368ec514aa34
parent 1152 fbaebf08c1bd
child 1155 5650924c69ed
equal deleted inserted replaced
1152:fbaebf08c1bd 1154:368ec514aa34