Quot/quotient_tacs.ML
changeset 1162 6642df770bc4
parent 1137 36d596cb63a2
child 1157 7763756b42cf
equal deleted inserted replaced
1156:a6fc645be6e2 1162:6642df770bc4