Def Turing.TM2to1.stWrite

Modification history