A computer-checked verification of Milner's scheduler by H.P. Korver