Manuscript notes

regarding mixed computations. Placed by Ershov among various Tokyo materials.